APA (7th ed.) Citation

Boudol, G. (2010). Typing termination in a higher-order concurrent imperative language. Information & Computation, 208(6), 716. https://doi.org/10.1016/j.ic.2009.06.007

Chicago Style (17th ed.) Citation

Boudol, Gérard. "Typing Termination in a Higher-order Concurrent Imperative Language." Information & Computation 208, no. 6 (2010): 716. https://doi.org/10.1016/j.ic.2009.06.007.

MLA (9th ed.) Citation

Boudol, Gérard. "Typing Termination in a Higher-order Concurrent Imperative Language." Information & Computation, vol. 208, no. 6, 2010, p. 716, https://doi.org/10.1016/j.ic.2009.06.007.