Theorie des programmes : SCHEMAS, PREUVES SEMANTIQUE - Livercy, C. (Dunod, Paris, 1978)