Bulletin of the EATCS, Volume 25

Volume 25, February 1985

Technical Contributions
a service of Schloss Dagstuhl - Leibniz Center for Informatics