Un procedimiento cualquier descrito en el libro puede reconocerse por la siguiente estructura: