The schematics of computation - Manis, Vincent S. (Prentice Hall, 1995)