Equational Specification of Dynamic Objects (1990)

by R Wieringa
Venue:Object-Oriented Databases: Analysis, Design & Construction (DS-4), Proc. IFIP WG 2.6 Working Conference, Windermere (UK