Proof-theoretic semantics of object-oriented specification constructs (1991)

by J Fiadeiro, C Sernadas, T Maibaum, G Saake
Venue:In Meersman