Bulletin of the EATCS, Volume 32

Volume 32, June 1987

The Algebraic Specification Column The Structural Complexity Column The Formal Language Theory Column Technical Contributions
a service of Schloss Dagstuhl - Leibniz Center for Informatics