ABSTRACT DATA TYPES - THOMAS, PETE (OXFORD CLARENDON, 1988)