APA (7th ed.) Citation

ScienceDirect (Online service) & Nederpelt, R. P. (1994). Selected papers on Automath. Elsevier.

Chicago Style (17th ed.) Citation

ScienceDirect (Online service) and R. P. Nederpelt. Selected Papers on Automath. Amsterdam ; New York: Elsevier, 1994.

MLA (9th ed.) Citation

ScienceDirect (Online service) and R. P. Nederpelt. Selected Papers on Automath. Elsevier, 1994.

Warning: These citations may not always be 100% accurate.