Arbib,Michael.A. A basis for theoretical computer science - New York Springer-Verlag ISBN: 0387905731 Dewey Class. No.: 004 ARB