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