"Evolving Object Specifications",
Working papers of the International Workshop on Information Systems - Correctness and Reusability
: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 311-320, 1994.
"Local Specification of Distributed Families of Sequential Objects",
Recent Trends in Data Types Specification, Proc1 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers
: Springer, Berlin, LNCS 906, pp. 219-235, 1995.
"What Is an Object, After All?",
Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK))
: North-Holland, pp. 39-70, 1991.