Παραπομπή APA

Παππά, Ε. Ι., & N/A. (1970). The Coq Proof Assistant: ΜΕΡΟΣ Α' : "Εντολές και Εφαρμογές". N/A.

Παραπομπή Chicago Style

Παππά, Ελπινίκη Ι., and N/A. The Coq Proof Assistant: ΜΕΡΟΣ Α' : "Εντολές και Εφαρμογές". N/A, 1970.

Παραπομπή MLA

Παππά, Ελπινίκη Ι., and N/A. The Coq Proof Assistant: ΜΕΡΟΣ Α' : "Εντολές και Εφαρμογές". N/A, 1970.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.