Manzonetto. Addressing Machines as Models of Lambda-calculus. 24 Dec. 2021.