Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake · 1990
this paper is to show how a collection of specification constructs may be formally defined that supports the former effort. We should stress that we shall not attempt to provide a full and practical specification language that can be used for object-oriented design. We shall have to limit ourselves to concentrate on the definition of our main primitive of specification (formalising the notion of object) together with two well known specification constructs: inheritance and aggregation (complex objects). However, we do not see deep problems in extending our results to other useful constructs such as class/type grouping and parameterisation.