APA (7th ed.) Citation

Vinogradova, P., Felty, A. P., & Scott, P. (2018). Formalizing Abstract Computability: Turing Categories in Coq. Electronic notes in theoretical computer science, 338, 203-218. https://doi.org/10.1016/j.entcs.2018.10.013

Chicago Style (17th ed.) Citation

Vinogradova, Polina, Amy P. Felty, and Philip Scott. "Formalizing Abstract Computability: Turing Categories in Coq." Electronic Notes in Theoretical Computer Science 338 (2018): 203-218. https://doi.org/10.1016/j.entcs.2018.10.013.

MLA (9th ed.) Citation

Vinogradova, Polina, et al. "Formalizing Abstract Computability: Turing Categories in Coq." Electronic Notes in Theoretical Computer Science, vol. 338, 2018, pp. 203-218, https://doi.org/10.1016/j.entcs.2018.10.013.