Graph reductions with super-combinators (1982)

by J Hughes