Logic and algorithms - Korfhage Robet R. (New York John Wiley & Sons USA, 1966)