Recent trends in data type specification 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, Sept. 1 - 4, 1987 ; selected papers (Springer, 1988)