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