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