Recent Trends in Data Type Specification: Selected Papers/9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop. Caldes de Malavella, Spain, October 1992

Б2.23, Б3.52, Б2.33.

Recent Trends in Data Type Specification: Selected Papers/9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop. Caldes de Malavella, Spain, October 1992Ed. by Ehrig H., Orejas F..-Berlin, Heidelberg.: Springer, 1994.-Vol. 785.-350 p.-(Lecture Notes in Computer Science).