توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Yassine Lakhnech, S. Y. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings. Springer.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Yassine Lakhnech, Sergio Yovine. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings. Berlín, Alemania: Springer.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Yassine Lakhnech, Sergio Yovine. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings. Springer.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.