On the linear ranking problem for simple floating-point loops
scientific article; zbMATH DE number 6925343