Bulletin of the EATCS, Volume 28

Volume 28, February 1986

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