Bulletin of the EATCS, Volume 59

Volume 59, June 1996

The Algebraic Specification Column The Concurrency Column The Formal Language Theory Column Technical Contributions
maintained by Schloss Dagstuhl LZI, founded at University of Trier