A correctness proof for combinator reduction with cycles (1990)

by W M FARMER, J D RAMSDELL, R J WATRO
Venue:ACM Trans. Program. Lang. Syst