Slide 16 of 93
Notes:
Most definitions are from [Parker84].
