Slide 80 of 93
Notes:
This information is largely extracted from [Meyer93].
