Westrin, C.-G. SMT - 1982. SMT 1982, 59, 4.