Bulletin of the EATCS, Volume 50

Volume 50, June 1993

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