De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case
scientific article; zbMATH DE number 2136935
scientific article