Lambda-calculus terms that reduce to themselves
scientific article; zbMATH DE number 3506650