[AL91], pp. 289–290.