J. V. Tucker;Jeffery I. Zucker
-;-
Abstract versus concrete computation on metric partial algebras
ACM Transactions on Computational Logic (TOCL)