Saake, G., R. Jungclaus, and C. Sernadas,
"Abstract Data Type Semantics for Many-Sorted Object Query Algebras",
Proceedings 3rd. Symp. on Mathematical Fundamentals of Database and Knowledge Base Systems MFDBS-91, Rostock (D): LNCS 495, Springer, Berlin, pp. 291-307, 1991.
Abstract
Jungclaus, R., G. Saake, and C. Sernadas,
"Formal Specification of Object Systems",
Proc. TAPSOFT'91, Brighton: Springer, Berlin, LNCS 494, pp. 60-82, 1991.
Abstract
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
Jungclaus, R., G. Saake, and C. Sernadas,
"Using Active Objects for Query Processing",
Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK), 1990): North-Holland, pp. 285-304, 1991.
Abstract