Courant, Urban, 2017. Precise Widening Operators for Proving Termination by Abstract Interpretation, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-662-54577-5_8