Un depurador abstracto, inductivo y paramétrico para programas multiparadigma | Publicación