Ben-Amram, et al.. On the Termination of Integer Loops. Springer Berlin Heidelberg, 2012, doi:10.1007/978-3-642-27940-9_6.