(1)
Wiberg et al., M. Kolofon. DUT 2011, 6.