Bulletin of the EATCS, Volume 27

Volume 27, October 1985

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