APA (7th ed.) Citation

Hesselink, W. H. (2010). Alternating states for dual nondeterminism in imperative programming. Theoretical Computer Science, 411(22-24), 2317. https://doi.org/10.1016/j.tcs.2010.03.016

Chicago Style (17th ed.) Citation

Hesselink, Wim H. "Alternating States for Dual Nondeterminism in Imperative Programming." Theoretical Computer Science 411, no. 22-24 (2010): 2317. https://doi.org/10.1016/j.tcs.2010.03.016.

MLA (9th ed.) Citation

Hesselink, Wim H. "Alternating States for Dual Nondeterminism in Imperative Programming." Theoretical Computer Science, vol. 411, no. 22-24, 2010, p. 2317, https://doi.org/10.1016/j.tcs.2010.03.016.