Author: Workshop on Specification of Abstract Data Types (5th 1987 Gullane, Scotland)