Bulletin of the EATCS, Volume 56

Volume 56, June 1995

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