Bulletin of the EATCS, Volume 50

Volume 50, June 1993

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