Johansson, A.-M. Hallonsaft. SMT 1994, 71, 69-71.