En la sección de implementaciones hay un ejemplo completo en C y en Maude