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 at University of Trier