Teoria algoritmilor. Recursivitate, Complexitate și Constructivitate, 1987