A safe approach to parallel combinator reduction (1988)

by C Hankin, G Burn, S L Peyton Jones
Venue:Theoretical Computer Science