Hirsch, R., Mikulás, S., & Stokes, T. (2022). Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms. Logic Journal of the IGPL, 30(5), 886. https://doi.org/10.1093/jigpal/jzab026
Chicago Style (17th ed.) CitationHirsch, Robin, Szabolcs Mikulás, and Tim Stokes. "Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms." Logic Journal of the IGPL 30, no. 5 (2022): 886. https://doi.org/10.1093/jigpal/jzab026.
MLA (9th ed.) CitationHirsch, Robin, et al. "Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms." Logic Journal of the IGPL, vol. 30, no. 5, 2022, p. 886, https://doi.org/10.1093/jigpal/jzab026.
Warning: These citations may not always be 100% accurate.