Abstract Data Types and Modula-2: A Worked Example of Design Using Data Abstraction (Prentice-hall International Series in Computer Science)