A computational model for metric spaces, Theoretical Computer Science 193 (1998)

by A Edalat, R Heckmann