Cunha, José C., João Louren{\c c}o, and Vitor Duarte. "Debugging of parallel and distributed programs." Commack, NY, USA: Nova Science Publishers, Inc.,  2001. 97-129.