APA (7th ed.) Citation

MOMIGLIANO, A., PIENTKA, B., & THIBODEAU, D. (2019). A case study in programming coinductive proofs: Howe’s method. Mathematical structures in computer science, 29(8), 1309-1343. https://doi.org/10.1017/S0960129518000415

Chicago Style (17th ed.) Citation

MOMIGLIANO, ALBERTO, BRIGITTE PIENTKA, and DAVID THIBODEAU. "A Case Study in Programming Coinductive Proofs: Howe’s Method." Mathematical Structures in Computer Science 29, no. 8 (2019): 1309-1343. https://doi.org/10.1017/S0960129518000415.

MLA (9th ed.) Citation

MOMIGLIANO, ALBERTO, et al. "A Case Study in Programming Coinductive Proofs: Howe’s Method." Mathematical Structures in Computer Science, vol. 29, no. 8, 2019, pp. 1309-1343, https://doi.org/10.1017/S0960129518000415.