Abstract computing machines. A lambda calculus perspective.
scientific article; zbMATH DE number 2150804