Science of Computer Programming, Volume 1

Volume 1, Numbers 1-2, October 1981

Volume 1, Number 3, May 1982

a service of Schloss Dagstuhl - Leibniz Center for Informatics