Mathematical logic and programming languages - Hoare, C. A. R. 1934-; Shepherdson, J. C. (Prentice-Hall international series in computer science, 1985)