テクニカルレポート
[1] Naohiro Hayashibara, Xavier D\efago, Rami Yared, and Takuya Katayama, "The φ accrual failure detector," Research Report, number IS-RR-2004-010, Japan Advanced Institute of Science and Technology, May 2004.