Books by Workshop on Specification of Abstract Data Types (7th 1990 Wusterhausen, Brandenburg, Germany)