COMPUTER PROGRAMMING AND FORMAL SYSTEMS - Braffort, P; Hirschberg, D. (North-Holland, 1963)