Recent trends in data type specification
Workshop on Theory and Applications of Abstract Data Types (3rd 1984 Bremen, Germany)