APA-Zitierstil (7. Ausg.)

Ostroff, J. S., Torshizi, F. A., Huang, H. F., & Schoeller, B. (2009). Beyond contracts for concurrency. Formal aspects of computing, 21(4), 319-346. https://doi.org/10.1007/s00165-008-0073-8

Chicago-Zitierstil (17. Ausg.)

Ostroff, Jonathan S., Faraz Ahmadi Torshizi, Hai Feng Huang, und Bernd Schoeller. "Beyond Contracts for Concurrency." Formal Aspects of Computing 21, no. 4 (2009): 319-346. https://doi.org/10.1007/s00165-008-0073-8.

MLA-Zitierstil (9. Ausg.)

Ostroff, Jonathan S., et al. "Beyond Contracts for Concurrency." Formal Aspects of Computing, vol. 21, no. 4, 2009, pp. 319-346, https://doi.org/10.1007/s00165-008-0073-8.