Describir: Studies on recursive distributed algorithms