APA citáció

Dévai Gergely. (2006). Programming language elements for correctness proofs: [abstract]. Szeged.

Chicago Style (17th ed.) Citation

Dévai Gergely. Programming Language Elements for Correctness Proofs: [abstract]. University of Szeged: Szeged, 2006.

MLA idézés

Dévai Gergely. Programming Language Elements for Correctness Proofs: [abstract]. Szeged, 2006.