TYPES 1998: Kloster Irsee, Germany

maintained by Schloss Dagstuhl LZI at University of Trier