Mathematical Logic and programming languages - Hoare, C.A.R (Prentice-Hall, Inc, 1985)