Algebraic Methods 1987: Passau, Germany

Algebraic Specification

The Design Language COLD

Rapid Prototyping with Algebraic Specification

An Algebraic Approach to Concurrency