Equational Specification of Dynamic Objects (1990)

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