@article{MM2_1986__54_155108,
     author = {Lou van den Dries},
     title = {The {Field} of {Reals} with a {Predicate} for the {Powers} of {Two.}},
     journal = {Manuscripta mathematica},
     pages = {187--196},
     publisher = {mathdoc},
     volume = {54},
     year = {1986},
     zbl = {0631.03020},
     url = {http://geodesic.mathdoc.fr/item/MM2_1986__54_155108/}
}