R.: “A computational model for metric spaces”, Theoretical Computer Science 193 (1998)

by A Edalat, Heckmann