Formalisation des notions de machine et de programme
par Louis Nolin.
[Paris] : Gauthier-Villars, 1969.
xiv, 218 págs. ; 28 cm.
Serie: Collection Programmation Publications de l'Institut de programmation de la Faculté des sciences de Paris.
Bibliografía: p. [217]-218.