Långbacka, T. (1997). An Interactive environment supporting the development of formally correct programs. Turku Center for Computer Science.
Chicago Style (17th ed.) CitationLångbacka, Thomas. An Interactive Environment Supporting the Development of Formally Correct Programs. Turku: Turku Center for Computer Science, 1997.
MLA引文Långbacka, Thomas. An Interactive Environment Supporting the Development of Formally Correct Programs. Turku Center for Computer Science, 1997.
警告:這些引文格式不一定是100%准確.