APA (7th ed.) Citation

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 Style (17th ed.) Citation

Ostroff, Jonathan S., Faraz Ahmadi Torshizi, Hai Feng Huang, and 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 (9th ed.) Citation

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.