Abstract Data Types and Algebraic Semantics of Programming Languages.

C. Pair Abstract Data Types and Algebraic Semantics of Programming Languages. 1-31 1982 18 Theor. Comput. Sci. db/journals/tcs/tcs18.html#Pair82