A new technique for analysing parameter passing, applied to the lambda calculus (1981)

by John Staples
Venue:Australian Computer Science Communications