A formal, accessible approach to abstract data types, employing the Modula-2 computer language. Chapters follow a common format--the need for a particular abstract data type is considered, followed by the type's properties, the access procedure to manipulate it, the axioms which govern its behavior, and implementations. A wide variety of abstract data types are covered, supported by numerous Modula-2 algorithms. Code is written in a functional, recursive style.