Bulletin of the EATCS, Volume 59

Volume 59, June 1996

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