APA (7th ed.) Citation

DE LA ENCINA, A., & PEÑA, R. (2009). From natural semantics to C: A formal derivation of two STG machines. Journal of Functional Programming, 19(1), 47. https://doi.org/10.1017/S0956796808006746

Chicago Style (17th ed.) Citation

DE LA ENCINA, ALBERTO, and RICARDO PEÑA. "From Natural Semantics to C: A Formal Derivation of Two STG Machines." Journal of Functional Programming 19, no. 1 (2009): 47. https://doi.org/10.1017/S0956796808006746.

MLA (9th ed.) Citation

DE LA ENCINA, ALBERTO, and RICARDO PEÑA. "From Natural Semantics to C: A Formal Derivation of Two STG Machines." Journal of Functional Programming, vol. 19, no. 1, 2009, p. 47, https://doi.org/10.1017/S0956796808006746.