Logic a foundation for computer science - Sperschneider, Volker; Antoniou, Grigorios (Addison-Wesley Publ. Co., 1991)