TEMPO A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues

Coroutines A Programming Methodology, a Language Design and an Implementation

A Study in String Processing Languages

Paragon A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types

Methods of Algorithmic Language Implementation

Verifying Concurrent Processes Using Temporal Logic

Towards a Formal Description of Ada

A Connotational Theory of Program Structure

An APL Compiler

Algol-like Languages

Report on the Programming Language PLZ/SYS

Description