Computer programming and formal systems - Braffort P; Hirschberg D (Amsterdam North-Holland, 1963)
Keywords: Computer programming; Formal system; Mathematical logic