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