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

by G L Burn