The quasi-real extension of the real numbers Angeliki Kontolatou (1993) Acta Mathematica et Informatica Universitatis Ostraviensis
Traces and differential operators over Beilinson completion algebras Amnon Yekutieli (1995) Compositio Mathematica