Behavioural validity of equations in abstract data types. Contributions to General Algebra 3 (1985)

by H Reichel
Venue:Proc. of the Vienna Conference. Teubner