This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Hold the mouse over a node to highlight that node and its neighbors. You can zoom in/out. You can pan the image. You can move nodes by clicking and dragging.