Segundo Szwarcfiter e Markenzon (2010), o estudo de estruturas de dados não pode ser desvinculado de seus aspectos algorítmicos. Nesse contexto, como é denominado o tipo especial de procedimento, aplicado em alguns algoritmos, que contém, em sua descrição, uma ou mais chamadas a si mesmo?