Proof-Theoretic Semantics of Object-Oriented Speci Constructs (1991)

by J Fiadeiro, C Sernadas, T S E Maibaum, G Saake
Venue:In Object-oriented Databases: Analysis Design and Construction