Eriksson, C.-G. Rökvanan. SMT 1980, 57, 218.