M. Walter OpenSESAME: A Tool's Concept. 477-484 2000 ICALP Satellite Workshops db/conf/icalp/icalpw2000.html#Walter00