Reading material
Chapter 7 up to Section 7.1.1
Additional material
Proposition 6.5
HeapSimplePriorityQueue.java