APA-Zitierstil (7. Ausg.)

Olarte, C., & Pimentel, E. (2015). Proving Concurrent Constraint Programming Correct, Revisited. Electronic notes in theoretical computer science, 312, 179-195. https://doi.org/10.1016/j.entcs.2015.04.011

Chicago-Zitierstil (17. Ausg.)

Olarte, Carlos, und Elaine Pimentel. "Proving Concurrent Constraint Programming Correct, Revisited." Electronic Notes in Theoretical Computer Science 312 (2015): 179-195. https://doi.org/10.1016/j.entcs.2015.04.011.

MLA-Zitierstil (9. Ausg.)

Olarte, Carlos, und Elaine Pimentel. "Proving Concurrent Constraint Programming Correct, Revisited." Electronic Notes in Theoretical Computer Science, vol. 312, 2015, pp. 179-195, https://doi.org/10.1016/j.entcs.2015.04.011.