Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert: Java Loops Are Mainly Polynomial. SOFSEM 2015: 603-614