Author: Workshop on Theory and Applications of Abstract Data Types (3rd 1984 Bremen, Germany)