Workshop on Specification of Abstract Data Types (5th 1987 Gullane, Scotland)
Don't miss the opportunity to share your thoughts!