Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (8e éd.)

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