["A Fully Lazy Higher Order Purely Functional Programming

Language With Reduction Semantics", K.L. Greene, CASE Center

TR 8503, Syracuse U 1985].