Computer programming and formal systems - Braffort, P; Hirschberg, D (Studies in logic and the foundations of mathematics, 1970)