David A. Schmidt State-transition machines for lambda-calculus expressions. 319-332 2007 20 High. Order Symb. Comput. 3 https://doi.org/10.1007/s10990-007-9012-2 db/journals/lisp/lisp20.html#Schmidt07