Recent Trends in Data Type Specification: Selected Papers/ 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop. Oslo,Norway,September 1995

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

Recent Trends in Data Type Specification: Selected Papers/ 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop. Oslo,Norway,September 1995Ed. by Haveraaen M., Owe O., Dahl O. -J..-Berlin, Heidelberg.: Springer, 1996.-Vol. 1130.-551 p.-(Lecture Notes in Computer Science).