Abstract versus concrete computation on metric partial algebras - John Tucker (ACM Transactions on Computational Logic, 2004)