Douglas J. Howe: Equality In Lazy Computation Systems. LICS 1989: 198-203