TAPSOFT'97: Theory and Practice of Software Development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings - Michel Bidoit, Max Dauchet ((Lecture Notes in Computer Science))