APA citáció

Dévai Gergely. (2008). Programming language elements for correctness proofs.

Chicago Style (17th ed.) Citation

Dévai Gergely. Programming Language Elements for Correctness Proofs. 2008.

MLA idézés

Dévai Gergely. Programming Language Elements for Correctness Proofs. 2008.

Figyelem: ezek az hivatkozások nem 100%-ban pontosak..