Workshop on Specification of Abstract Data Types (5th 1987 Gullane, Scotland)
Books by Workshop on Specification of Abstract Data Types (5th 1987 Gullane, Scotland) on BookTides.