===Final 17-7-2013====

  - Suponga que F1, F2 y F3 son funciones perezosas (lazy). Mostrar la ejecución en la máquina abstracta de:<code>B={F1 X}
C={F2 Y}
D={F3 Z}
A=B+C</code>
  - 
    - Representar en Oz y en su lenguaje el TAD árbol binario. 
    - Escribir en Oz y en su lenguaje la función menor valor que devuelva el mínimo de un árbol binario (recordar respetar el encapsulamiento y solamente use funciones/métodos del TAD que definió anteriormente).
  - Comparar el manejo de abstracción de datos con su lenguaje con el de Oz.
  - Presentar el manejo de abstracción de datos de al menos tres lenguajes de los presentados en clase.