Långbacka, T. (1997). An Interactive environment supporting the development of formally correct programs. Turku Center for Computer Science.
Chicago Style aipamenaLångbacka, Thomas. An Interactive Environment Supporting the Development of Formally Correct Programs. Turku: Turku Center for Computer Science, 1997.
MLA aipamenaLångbacka, Thomas. An Interactive Environment Supporting the Development of Formally Correct Programs. Turku Center for Computer Science, 1997.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.