Author: Workshop on Specification of Abstract Data Types (11th 1995 Oslo, Norway)