Bulletin of the EATCS, Volume 49

Volume 49, February 1993

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