Behavioural validity of conditional equations in abstract data types (1985)

by Horst Reichel
Venue:In Proc. of the Vienna Conference, June 1984, Contributions to General Algebra 3