Hagberg, B.; Westrin, C.-G. Slutord. SMT 2001, 78, 184.