Friedrich L. Bauer: Detailization and Lazy Evaluation, Infinite Objects and Pointer Representation. Program Construction 1978: 406-420