Amin Farjudian Shrad: A Language for Sequential Real Number Computation. 49-105 2007 41 Theory Comput. Syst. 1 http://dx.doi.org/10.1007/s00224-006-1339-2 db/journals/mst/mst41.html#Farjudian07