Borbély József & Tóth Péter. (1977). Tétel- és programhelyesség bizonyítás.
Chicago Style (17th ed.) CitationBorbély József and Tóth Péter. Tétel- és Programhelyesség Bizonyítás. 1977.
MLA idézésBorbély József and Tóth Péter. Tétel- és Programhelyesség Bizonyítás. 1977.
Figyelem: ezek az hivatkozások nem 100%-ban pontosak..