(2004). Teaching formal methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings / C. Neville Dean, Raymond T. Boute (eds.).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : Proceedings / C. Neville Dean, Raymond T. Boute (eds.). 2004.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : Proceedings / C. Neville Dean, Raymond T. Boute (eds.). 2004.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.