Logic and Algorithms - Korfhage Robert R (1966)