On the Construction of Programs 1980

maintained by Schloss Dagstuhl LZI at University of Trier