"1963" . . "Equivalences" . . . . .