From natural semantics to C: A formal derivation of two STG machines.Published in:Journal of Functional Programming, 2009, v. 19, n. 1, p. 47, doi. 10.1017/S0956796808006746By:DE LA ENCINA, ALBERTO;PEÑA, RICARDOPublication type:Article