Bulletin of the EATCS, Volume 54

Volume 54, October 1994

The Algebraic Specification Column The Logic in Computer Science Column The Structural Complexity Column The Concurrency Column The Formal Language Theory Column Technical Contributions