Haraldson, S. S. R. Bokrecensioner. SMT 1979, 56, 576.