Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft

Andrzej Tarlecki. Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft. In Bernd Krieg-Brückner, editor, ESOP 92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings. Volume 582 of Lecture Notes in Computer Science, pages 451-472, Springer, 1992.

Abstract

Abstract is missing.