José Luiz Fiadeiro Cristina Sernadas T. S. E. Maibaum Gunter Saake Proof-Theoretic Semantics of Object-Oriented Specification Constructs. 243-284 1990 DS-4 db/conf/ds/ds90.html#FiadeiroSMS90