APA (7th ed.) Citation

Nielson, H. R., Nielson, F., & Pilegaard, H. (2012). Flow Logic for Process Calculi. ACM computing surveys, 44(1), 1-39. https://doi.org/10.1145/2071389.2071392

Chicago Style (17th ed.) Citation

Nielson, Hanne Riis, Flemming Nielson, and Henrik Pilegaard. "Flow Logic for Process Calculi." ACM Computing Surveys 44, no. 1 (2012): 1-39. https://doi.org/10.1145/2071389.2071392.

MLA (9th ed.) Citation

Nielson, Hanne Riis, et al. "Flow Logic for Process Calculi." ACM Computing Surveys, vol. 44, no. 1, 2012, pp. 1-39, https://doi.org/10.1145/2071389.2071392.