Παραπομπή APA

Nederpelt, R. P., Geuvers, J. H., & Vrijer, R. C. d. (1994). Selected papers on Automath. Amsterdam: Elsevier.

Παραπομπή Chicago Style

Nederpelt, R. P., J. H. Geuvers, and R. C. de Vrijer. Selected Papers On Automath. Amsterdam: Elsevier, 1994.

Παραπομπή MLA

Nederpelt, R. P., J. H. Geuvers, and R. C. de Vrijer. Selected Papers On Automath. Amsterdam: Elsevier, 1994.

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