Logic and algorithms : - Korfhage, Robert R. (John Wiley & Sons, Inc., 1966)