Algebraic denotational semantics using parameterized abstract modules (1981)

by J A Goguen, K Parsaye-Ghomi
Venue:Formalizing Programming Concepts, volume 107 of LNCS