Dominios semánticos para lenguajes con concurrencia y recursividad - Barboza, Carlos (C. Barboza, 1993)
Consultar en el disco de computadora apéndices.