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

Kroening, D., Lewis, M., Weissenbacher, G., & Bjørner, N. (2015). Proving safety with trace automata and bounded model checking. Springer.

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

Kroening, D., M. Lewis, G. Weissenbacher, و N. Bjørner. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.

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

Kroening, D., et al. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.