Semantic Constructions in the Specification Language GLIDER
Authors:
Silvia Clerici;Rosa M. Jiménez;Fernando Orejas
Affiliations:
-;-;-
Venue:
Selected papers from the 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop on Recent Trends in Data Type Specification