A safe approach to parallel combinator reduction (extended abstract (1986)

by C L Hankin, G L Burn, S L P Jones
Venue:In Proc. of European Symp. on Programming^! Saarbrucken