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

ebrary, Inc, & Boulanger, J. (2012). Formal method: Industrial use from model to the code. ISTE ; Wiley.

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

ebrary, Inc, و Jean-Louis Boulanger. Formal Method: Industrial Use from Model to the Code. London : Hoboken, N.J.: ISTE ; Wiley, 2012.

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

ebrary, Inc, و Jean-Louis Boulanger. Formal Method: Industrial Use from Model to the Code. ISTE ; Wiley, 2012.