ICALP 2001 : - Baresi, Luciano (Elsevier, 2001)