Logic and Algorithms : With Applications to the Computer and Information Sciences - Korfhage, Robert R. (John Wiley & Sons, Inc., 1966)