Edmonds, Jeff How to think about algorithms - - New York Cambridge University Press 2008 - xiii,448p ISBN: 9780521614108 ISSN: Subjects--Index Terms: Algorithms Loops (Group theory) Invariants Recursion theory Dewey Class. No.: 510.51