Erwan Jahier Mireille Ducassé A Generic Approach to Monitor Program Executions. 139-153 1999 ICLP db/conf/iclp/iclp99.html#JahierD99