Bulletin of the EATCS, Volume 59

Volume 59, June 1996

The Algebraic Specification Column The Concurrency Column The Formal Language Theory Column Technical Contributions