Bulletin of the EATCS, Volume 30

Volume 30, October 1986

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