Mega, Giuliano, E Kon, Fabio. " Extensible Symbolic Debugging for Distributed Object Systems" Anais do Concurso de Teses e Dissertações (CTD) [Online], (20 julho 2009)