Title: ZZ Specification of Abstract Data Types ZZ