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

(23277136), B. X., (23277139), C. O., (23276149), G. R., & (23276146), V. N. (2018). Mechanizing Focused Linear Logic in Coq.

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

(23277136), Bruno Xavier, Carlos Olarte (23277139), Giselle Reis (23276149), و Vivek Nigam (23276146). Mechanizing Focused Linear Logic in Coq. 2018.

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

(23277136), Bruno Xavier, et al. Mechanizing Focused Linear Logic in Coq. 2018.