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%.