How to think about algorithms - Edmonds, Jeff 1963- (New York Cambridge University Press, 2008)
Keywords: Algorithms -- Study and teaching; Invariants -- Study and teaching; Loops (Group theory) -- Study and teaching; Recursion theory -- Study and teaching