APA (7th ed.) Citation

Dekker, J. C. E. 1., & Myhill, J. (1960). Recursive equivalence types. Univ. of Calif. Press.

Chicago Style (17th ed.) Citation

Dekker, J. C. E. 1921, and John Myhill. Recursive Equivalence Types. Berkeley [u.a.]: Univ. of Calif. Press, 1960.

MLA (9th ed.) Citation

Dekker, J. C. E. 1921, and John Myhill. Recursive Equivalence Types. Univ. of Calif. Press, 1960.