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