Théorie des programmes : schémas, preuves, sémantique / par C. Livercy ; nom coll. de: Jean-Pierre Finance [et al.] ; préface C. Pair. - Livercy, C. (Dunod Informatique. Phase Formation, 1978)