A Mechanism for Specifying the Structure of Large, Layered Systems

Harold Ossher. A Mechanism for Specifying the Structure of Large, Layered Systems. In Research Directions in Object-Oriented Programming. pages 219-252, 1987.

Abstract

Abstract is missing.