استشهادات التسجيلة

توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Yoeli, M., & Kol, R. (2008). Verification of systems and circuits using LOTOS, Petri Nets, and CCS. Wiley-Interscience.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Yoeli, Michael, و Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. Hoboken, N.J.: Wiley-Interscience, 2008.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Yoeli, Michael, و Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. Wiley-Interscience, 2008.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.