Pani, T.; Veith, H.; Zuleger, F. Loop Patterns in C Programs. eceasst 2015, 72.