An introduction to the analysis of algorithms - Soltys, Michael 1971- (World Scientific, 2012)