T. Pani, H. Veith, and F. Zuleger, “Loop Patterns in C Programs”, eceasst, vol. 72, Nov. 2015.