Louren{\c c}o, João A Debugging Engine for Parallel and Distributed Programs. Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2004.