Logic : a foundation for computer science - Sperschneider, V. (International computer science series, 1991)