https://123dok.net/document/qvlg4kdy-asms-and-operational-algorithmic-completeness-of-lambda-calculus.html