Armin Hemmerling Standard Representations of Effective Metric Spaces. 48-68 2000 conf/cca/2000 CCA http://link.springer.de/link/service/series/0558/bibs/2064/20640048.htm db/conf/cca/cca2000.html#Hemmerling00