TY - BOOK AU - Gaudel M C (Ed.) AU - Jouannaud J P (Ed.) TI - TAPSOFT 93: : Theory and practice of software development T2 - Lecture notes in computer science 668 SN - 3-540-56610-4 PY - 1992/// CY - Berlin PB - Springer-Verlag, KW - Software development KW - Programming ER -