Bjorn De Sutter, Hans Vandierendonck, Bruno De Bus, Koenraad De Bosschere: On the side-effects of code abstraction. LCTES 2003: 244-253