Two computersupported proofs in metric space topology (1991)

by W M Farmer, F J Thayer
Venue:Notices of the American Mathematical Society