[Ver82], pp. 207–229.