TY - BOOK AU - International Joint Conference on Theory and Practice of Software Development AU - Gaudel, M.-C. (Marie-Claude) AU - Jouannaud, Jean-Pierre AU - Colloquium on Trees in Algebra and Programming AU - Colloquium on Formal Approaches of Software Engineering TI - TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings PB - Springer-Verlag PY - 1993 T2 - Lecture notes in computer science VL - 668 EP - xii, 761 p. UR - http://ci.nii.ac.jp/ncid/BA19829595 SN - 3540566104 SN - 0387566104 ER -