Polyhedral and Algebraic Methods in Computational Geometry - Joswig (Springer London, 2013)