The node you are looking for is at Example 15.5.