THE LOGIC OF PROGRAMMING - Hehner, Eric C. R. (Prentice-Hall, 1984)