The logic of programming - Hehner, E.C.R (Prentice-Hall, Inc, 1984)