Loop Invariants: Analysis, Classification, and Examples. - FURIA, CARLO A.; MEYER, BERTRAND; VELDER, SERGEY (ACM Computing Surveys, 2014)