14. WoLLIC 2007: Rio de Janeiro, Brazil

maintained by Schloss Dagstuhl LZI at University of Trier