Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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