Explanation of Pages 39-40
Explanation of Pages 70-75 (html)
Explanation of Pages 70-75 (ps)
More on Irredundant