Mathematical Logic and programming languages - Hoare, C.A.R (Prentice-Hall International Series in Computer Science / Prentice-Hall, Inc.., 1985)