Cordeiro, L., Kesseli, P., Kroening, D., Schrammel, P., & Trtik, M. (2018). JBMC: A bounded model checking tool for verifying Java bytecode. Springer, Cham.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Cordeiro, L., P. Kesseli, D. Kroening, P. Schrammel, و M. Trtik. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. Springer, Cham, 2018.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Cordeiro, L., et al. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. Springer, Cham, 2018.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.