CPS transformation of beta-redexes
scientific article; zbMATH DE number 5642344