Logic and algorithms. With applications to the computer and information sciences.
Korfhage, Robert R.
New York; London, 
[1966]