Science of Computer Programming, Volume 1

Volume 1, Numbers 1-2, October 1981

Volume 1, Number 3, May 1982

maintained by Schloss Dagstuhl LZI at University of Trier