Author's papers: Spivak IM