ABSTRACT DATA TYPES. - Leavens, Gary T. (Encyclopedia of Electrical & Electronics Engineering, 1999)