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

Långbacka, T. (1997). An Interactive environment supporting the development of formally correct programs. Turku Center for Computer Science.

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

Långbacka, Thomas. An Interactive Environment Supporting the Development of Formally Correct Programs. Turku: Turku Center for Computer Science, 1997.

توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)

Långbacka, Thomas. An Interactive Environment Supporting the Development of Formally Correct Programs. Turku Center for Computer Science, 1997.