Recent trends in data type specification : selected papers : Caldes de Malavella, Spain, October 26-30, 1992 / Hartmut Ehrig, Fernando Orejas (Eds.)
Workshop on Specification of Abstract Data Types (9è : 1992 : Caldes de Malavella )
Berlin [etc.] : Springer-Verlag, cop. 1994
VIII, 350 p. ; 24 cm
"The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop..". Referències bibliogràfiques.
ISBN 3540578676