APA (7th ed.) Citation

Dekker, J. C. E., & Myhill, J. (1960). Recursive equivalence types. University of California Press.

Chicago Style (17th ed.) Citation

Dekker, J. C. E., and John Myhill. Recursive Equivalence Types. Berkeley, Los Angeles: University of California Press, 1960.

MLA (9th ed.) Citation

Dekker, J. C. E., and John Myhill. Recursive Equivalence Types. University of California Press, 1960.