Kablok : diseño e implementación de un lenguaje aplicativo con variables libres, no determinismo y unificación - Díaz-Oreiro, Ignacio (I. Díaz O., 1995)
Consultar en el disco de computadora anexos.