Troelsen et al., R. Kolofon. DUT 2008, 3.