Abstract Interpretation and the Parallel Evaluation of Functional Languages (1987)

by Geoffrey L Burn