Recent Trends in Data Type Specification

The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. Another trend is toward taking a more general view which allows superficially different approaches having the same general aims and methods to be unified.