Constructible Sets in Real Geometry by Carlos Andradas & Ludwig Brocker