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
maintained by Schloss Dagstuhl LZI at University of Trier