An Experience in Implementing Abstract Data Types.
The Structure of the MARY/2 Compiler.
DIALOG: A Scheme for the Quick and Effective Production of Interactive Applications Software.
A Modula Based Language Supporting Hierarchical Development and Verification.
A Comparative Study of Task Communication in Ada.
Linguistic Mechanisms for Resource Management Strategies.