Mega, Giuliano, and Fabio Kon.
" Extensible Symbolic Debugging for Distributed Object Systems." <em>Anais do XXII Concurso de Teses e Dissertações,
Bento Gonçalves/RS, 2009</em>. SBC, 2009,  
pp.73-80.