Science of Computer Programming, Volume 12

Volume 12, Number 1, June 1989

Volume 12, Number 2, July 1989

Volume 12, Number 3, September 1989

a service of Schloss Dagstuhl - Leibniz Center for Informatics