The Logical Basic for Computer Programming. Volume 2:Deductive Systeme - Manna, Zohar; Waldinger, Richard (Addison-Wesley, 1990)