record conf/spaa/HutchinsonSV01

maintained by Schloss Dagstuhl LZI at University of Trier