Formalisation des notions de machine et de programme - Nolin, Louis (Gauthier-Villars, 1969)