A linear space translation of functional programs to Turner combinators
scientific article; zbMATH DE number 3799615