Beeson. A Constructive Version of Tarski's Geometry. 5 July 2015.