Carlo A. Furia, Bertrand Meyer, Sergey Velder. Loop invariants: Analysis, classification, and examples. ACM Computing Surveys, 46(3):34, 2014. [doi]
@article{FuriaMV14, title = {Loop invariants: Analysis, classification, and examples}, author = {Carlo A. Furia and Bertrand Meyer and Sergey Velder}, year = {2014}, doi = {10.1145/2506375}, url = {http://doi.acm.org/10.1145/2506375}, researchr = {https://researchr.org/publication/FuriaMV14}, cites = {0}, citedby = {0}, journal = {ACM Computing Surveys}, volume = {46}, number = {3}, pages = {34}, }