Acta Informatica, Volume 20

Volume 20, 1983

a service of Schloss Dagstuhl - Leibniz Center for Informatics