Westrin, C.-G. Prioritering. SMT 1992, 69, 276.