A Framework of an Assertion-Based Algorithmic Debugging for Distributed Programs. - Tsuyoshi Ohta; Hideto Kinoshita; Takahiro Kimata; Tadanori Mizuno (ICOIN, 2001)