Bulletin of the EATCS, Volume 61

Volume 61, February 1997

Formal Specification Column The Formal Language Theory Column Technical Contributions
a service of Schloss Dagstuhl - Leibniz Center for Informatics