@misc{Meer2016, author = {Klaus Meer}, title = {Real number models : on the use of information}, booktitle = {Journal of Symbolic Computation}, volume = {18}, number = {3}, issn = {0747-7171}, doi = {10.1006/jsco.1994.1044}, url = {http://www.sciencedirect.com/science/article/pii/S0747717184710443}, institution = {FG Theoretische Informatik}, type = {articler}, pages = {199 -- 206}, year = {2016}, }