Allamigeon, et al.. Certification of Bounds of Non-linear Functions: The Templates Method. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-39320-4_4.