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