Text this: Formal syntax and semantics of programming languages :