Book Methods In Algorithmic Analysis 2009