Title: An Introduction to Computable Languages and Abstract Machines