The Schematics Of Computation by Jeannie Little & Vincent Manis