Title: Graph reduction with super-combinators
First published: 1982