Logic and algorithms with applications to the computer and information sciences - Korfhage, Robert R. (N. Y. John Wiley, 1966)
Keywords: Algorithms