
Abstract.- Goals of Paragon and their relation to previous efforts.- The basic of Paragon.- The object-manager model and its implementation.- Selection of implementations.- A complete example using Paragon.- Implementation.- Retrospective on the language design and implementation.
Algebraic Specification Techniques in Object Oriented Programming Environments