TAPSOFT '93 theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : M.C. Gaudel, J.-P. Jouannaud, eds. - Gaudel, M. C. (Marie-Claude); Jouannaud, Jeane-Pierre (Lecture notes in computer science, 1993)