Bulletin of the EATCS, Volume 44

Volume 44, June 1991

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