Puto modula

PROCEDURE Recorrer (k: CARDINAL; VAR a: Binario; n: CARDINAL);
BEGIN
   n := n + 1;
   IF k # n THEN
      IF k < n THEN
         a := Izquierdo(a);
         Recorrer(k, a, CantidadBinario(a));
      ELSE
         a := Derecho(a);
         n := n - 2;
         Recorrer(k - n, a, CantidadBinario(a));
      END;
   END;
END Recorrer;

PROCEDURE KesimoABB (k: CARDINAL; a: Binario): TInfo;
(* Precondicion: 'a' esta ordenado segun el dato de texto.
   Precondicion: 1 <= k <= CantidadBinario(a).
   Devuelve el elemento del k-esimo nodo de 'a'. La recorrida se hace en orden. *)
VAR resultado: BoolBinario;
BEGIN

   Recorrer(k, a, CantidadBinario(Izquierdo(a)));
   RETURN RaizBinario(a);

END KesimoABB;