2. AMAST 1991: Iowa City, USA

Algebraic Logic for Software Reliability

Algebraic Design of Parallel Systems

Specification of Software Systems

Construction of System Software

Reasoning about Software Development

Tools for Software Development

Algebraic Software Technology