Equality in lazy computation systems (1989)

by How89 D Howe
Venue:In Proc. LICS 1989