Långbacka, T. (1997). An Interactive environment supporting the development of formally correct programs. Turku Center for Computer Science.
Lua i Stíl Chicago (17ú heag.)Långbacka, Thomas. An Interactive Environment Supporting the Development of Formally Correct Programs. Turku: Turku Center for Computer Science, 1997.
Lua MLA (8ú heag.)Långbacka, Thomas. An Interactive Environment Supporting the Development of Formally Correct Programs. Turku Center for Computer Science, 1997.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.