Långbacka, T. (1997). An Interactive environment supporting the development of formally correct programs. Turku Center for Computer Science.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रLångbacka, Thomas. An Interactive Environment Supporting the Development of Formally Correct Programs. Turku: Turku Center for Computer Science, 1997.
एमएलए (8वां संस्करण) प्रशस्ति पत्रLångbacka, Thomas. An Interactive Environment Supporting the Development of Formally Correct Programs. Turku Center for Computer Science, 1997.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.