APA (7th ed.) Citation

Nederpelt, R. P. (1994). Selected papers on Automath. Elsevier.

Chicago Style (17th ed.) Citation

Nederpelt, R. P. Selected Papers on Automath. Amsterdam ; New York: Elsevier, 1994.

MLA (9th ed.) Citation

Nederpelt, R. P. Selected Papers on Automath. Elsevier, 1994.