1. CSL 1987: Karlsruhe, Germany

maintained by Schloss Dagstuhl LZI at University of Trier