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

Brázdil, T., Forejt, V., Kucera, A., & Aceto, L. (2008). Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer.

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

Brázdil, T., V. Forejt, A. Kucera, و L. Aceto. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.

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

Brázdil, T., et al. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.