David A. Schmidt: State transition machines for lambda calculus expressions. Semantics-Directed Compiler Generation 1980: 415-440