by Workshop on Specification of Abstract Data Types (8th 1991 Dourdan, France)
"The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a method…