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