Véase también un ejemplo de algoritmo recursivo de inserción en un ABB en el lenguaje de programación Maude: