Programmer's introduction to computability and formal languages - Kurki-Suonio Reino (Princeton Auerbach Pub, 1971)
Keywords: Computability; Formal language; Programming language