Programs and machines : an introduction to the theory of computation - Bird, Richard (rz1, 1976)