The schematics of computation - Manis, Vincent S.; Little, James J. (Prentice Hall, 1995)