Bulletin of the EATCS, Volume 31

Volume 31, February 1987

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