Workshop on Specification of Abstract Data Types.Workshop on Specification of Abstract Data Types (8th : 1991 : France)：Recent trends in data type specification.Springer,1993.
Workshop on Specification of Abstract Data Types.Workshop on Specification of Abstract Data Types (5th : 1987 : Scotland)：Recent trends in data type specification : proceedings.Springer,1988.
