While at Bristol he worked on the Euclidean algorithm (norm function) in a general setting having already proved while at Cambridge that there are only finitely many real quadratic fields with a Euclidean algorithm.
Habang sa Bristol siya nagtrabaho sa Euclidean algorithm (karaniwan function) sa isang pangkalahatang setting ng pagkakaroon na proved habang sa Cambridge na may lamang finitely maraming mga tunay na parisukat na may mga patlang ng isang Euclidean algorithm.