Mathematical logic and programming languages - Hoare, C.A.R. ; Shepherdson, J.C. ed. (Prentice-hall international, New Jersey, 1985)