In 11.4.6, the implementation responsibilities for letrec* are wrong. As it stands, it is the same as those for letrec, so the example actually violates them. Andre