Computer-programming and formal systems - Raffort, P. (1967)