Recent Trends in Data Type Specification: Selected Papers/10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop. S.Margherita, Italy, May-June 1994

Б2.33, Б2.23, Б2.24, Б3.5.

Recent Trends in Data Type Specification: Selected Papers/10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop. S.Margherita, Italy, May-June 1994Ed. by Astesiano E., Reggio G., Tarlecki A..-Berlin, Heidelberg.: Springer, 1995.-Vol. 906.-523 p.-(Lecture Notes in Computer Science).