Logic and algorithms, with applications to the computer and information sciences. - Kofhage, Robert R. (Wiley, 1966)