Author: Workshop on Theory and Applications of Abstract Data Types. (5th 1987 Gullane, Scotland)