Seol mar théacs é seo: An introduction to the analysis of algorithms