Egidio Astesiano Gianna Reggio Elena Zucca Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. 163-190 1999 34 Sci. Comput. Program. 3 db/journals/scp/scp34.html#AstesianoRZ99