Computer programming and formal systems - Braffort, P. (North-Holland Publishing Company, 1970)