"On the Linear Ranking Problem for Simple Floating-Point Loops."

Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics