Marie-Claude Gaudel Jean-Pierre Jouannaud TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings TAPSOFT Lecture Notes in Computer Science 668 Springer 1993 3-540-56610-4 db/conf/tapsoft/tapsoft93.html