Proof-Theoretic Semantics of ObjectOriented Specification Constructs, To be published (1990)

by J Fiadeiro, C Sernadas, T Maibaum, G Saake
Venue:IFIP TC2 Working Conference on Database Semantics