Formalisation des notions de machine et de programme - Nolin, Louis (Collection "Programmation", 1969)