Mireille Ducassé A Trace Analyser to Prototype Explanations. 22-28 1992 LPE db/conf/lpe/lpe92.html#Ducasse92