-
[Plotkin75] CBN, CBV
G. D. Plotkin - "Call-by-name, call-by-value and the λ-calculus"
http://homepages.inf.ed.ac.uk/gdp/publications/cbn_cbv_lambda.pdf -
[Felleisen87] Syntactic theory of sequential...
M. Felleisen, D.P. Friedman, E. Kohlbecker, B. Duba - "A syntactic theory of sequential control"
http://www.cs.indiana.edu/pub/techreports/TR215.pdf