The logic of programming - Hehner, E.C.R (International Series in Computer Science / Prentice-Hall Inc.., 1984)