Alan Parkes

• A concise introduction to languages and machines
• Introduction to languages, machines and logic
• An Introduction to Computable Languages and Abstract Machines