Trích dẫn kiểu APA (xuất bản lần thứ 7)

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

Trích dẫn kiểu Chicago (xuất bản lần thứ 7)

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

Trích dẫn kiểu MLA (xuất bản lần thứ 8)

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.