Books by Workshop on Specification of Abstract Data Types (10th 1994 Santa Margherita, Italy) on BookTides.