Haglund, B. J. Internationellt. SMT 2011, 88, 288.