Specification of abstract data types - Loeckx, Jacques, 1931- (Wiley J., 1996)