1. E. Astesiano. Inductive semantics. In Formal Descriptions of Programming Concepts, Berlin, 1991. Springer Verlag.
2. E. Astesiano, G. Reggio, and E. Zucca. Stores as homomorphisms and their transformations — A uniform approach to structured data types in denotational semantics. Technical report, 1993. Submitted.
3. E. Astesiano and E. Zucca. A semantic model for dynamic systems. In U.W. Lipeck and B. Thalheim, editors, Fourth International Workshop on Foundations of Models and Languages for Data and Objects — Modelling Database Dynamics, Volkse (Germany), October 1992.
4. Y. Gurevich. Evolving algebra, a tutorial introduction. Bulletin of the EATCS, (43):264–284, 1991.
5. G.T. Leavens and K.K. Dhara. A foundation for the model theory of abstract data types with mutation and aliasing. Technical Report 92-35, Department of Computer Science, Iowa State University, Amsterdam, November 1992.