Teoria algoritmilor. Recursivitate, Complexitate și Constructivitate