Lambe mfl, M. Bokrecensioner. SMT 1994, 71, 425-432.