Programming with turing and object oriented turing - Peter Grogone (Springer-Verlag, 1995)