Algebraic Methods 1987: Passau, Germany

Algebraic Specification

The Design Language COLD

Rapid Prototyping with Algebraic Specification

An Algebraic Approach to Concurrency

maintained by Schloss Dagstuhl LZI at University of Trier