ΓCMC: Fast lazy functional languages. - Rafael Dueire Lins; Bruno O. Lira (Microprocess. Microprogramming, 1993)