Web Analytics Made Easy - StatCounter
Interval scheduling greedy algorithm proof