En esta práctica consideraremos procedimientos que pueden recibir como entrada (o devolver como resultado) otros procedimientos. Esto nos permite considerar la estructura común de las definiciones de varios grupos de procedimientos y escribir programas que capten ese patrón común.