توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Dong, W., Leucker, M., Schallhart, C., & Cha, S. (2008). Impartial Anticipation in Runtime-Verification. Springer.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Dong, W., M. Leucker, C. Schallhart, و S. Cha. Impartial Anticipation in Runtime-Verification. Springer, 2008.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Dong, W., et al. Impartial Anticipation in Runtime-Verification. Springer, 2008.