[AL91], p. 293.