A Value Transmission Method for Abstract Data Types
The algebraic specification of abstract data types