APA (7th ed.) Citation

Back, R. (1981). Proving total correctness of nondeterministic programs in infinitary logic. Acta Informatica, 15(3), 233. https://doi.org/10.1007/BF00289263

Chicago Style (17th ed.) Citation

Back, R. "Proving Total Correctness of Nondeterministic Programs in Infinitary Logic." Acta Informatica 15, no. 3 (1981): 233. https://doi.org/10.1007/BF00289263.

MLA (9th ed.) Citation

Back, R. "Proving Total Correctness of Nondeterministic Programs in Infinitary Logic." Acta Informatica, vol. 15, no. 3, 1981, p. 233, https://doi.org/10.1007/BF00289263.

Warning: These citations may not always be 100% accurate.