Text this: Un depurador abstracto, inductivo y paramétrico para programas multiparadigma