His one further major work was to edit the publication of Turing 's collected work in pure mathematics which was published in 1992.
Kanyang isa pang malaking trabaho ay upang i-edit ang mga publikasyon ng Turing 's tinipon ng trabaho sa purong matematika na kung saan ay nai-publish sa 1992.