TP3: Doc. Pseudo-codes and Recurrence