“…This approach defines data types to be heterogeneous algebras [5]. Much work has been done on the algebraic specification of abstract data types [2,7,10,17,32,50,561, including the handling of error values [2,14,331, nondeterminism [33], and parameterization [ll, 15,491. Our work is related to both the axiomatic and algebraic approaches. In the interface language component of a two-tiered specification, we use an axiomatic approach.…”