Troelsen et al., R. Kolofon. DUT 2006, 1.