Compilador de FACIL : formulación algorítmica para circuitos lógicos. -- - Figueroa Mata, Gilberth (1996)