A Value Transmission Method for Abstract Data Types
Programming with abstract data types