Abstract Data Types and Modula-2 provides examples of abstract data types to show their connection with programs. Part One presents a formal specification of a complete program in OBJ - a language for defining abstract data types, and illustrates how this specification can be turned into a design in Modula-2 - an object-based programming language. Part Two includes a full implementation of the worked example.