Recursive equivalence types - Dekker, Jacob C.E. 1921 - (University of California Press, 1960)