R.: A computational model for metric spaces (1998)

by A Edalat, Heckmann
Venue:Theor. Comput. Sci