The logic of programming - Hehner, Eric C. R. (Prentice-hall international, United kingdom, 1984)