Algebraic Methods 1987: Passau, Germany

Algebraic Specification

The Design Language COLD

Rapid Prototyping with Algebraic Specification

An Algebraic Approach to Concurrency

a service of Schloss Dagstuhl - Leibniz Center for Informatics