Fiadeiro, J., C. Sernadas, T. Maibaum, and G. Saake,
"Proof-Theoretic Semantics of Object-Oriented Specification Constructs",
Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 243-284, 1991.
Abstract