"Lambda" PROLOG : interpretador e unificação de ordem superior - Ludwig, Artemio (1992)
Orientador : Wagner C. Amaral