A programmer's introduction to computability and formal languages. - Kurki-Suonio, Reino (Studentlitt.; Auerbach Publishers, 1971)