An Exercise in Proving Parallel Programs Correct.

MLA

Gries, David. “An Exercise in Proving Parallel Programs Correct.” Communications of the ACM, vol. 20, no. 12, Dec. 1977, pp. 921–30. EBSCOhost, https://doi.org/10.1145/359897.359903.

APA

Gries, D. (1977). An Exercise in Proving Parallel Programs Correct. Communications of the ACM, 20(12), 921–930. https://doi.org/10.1145/359897.359903

Chicago

Gries, David. 1977. “An Exercise in Proving Parallel Programs Correct.” Communications of the ACM 20 (12): 921–30. doi:10.1145/359897.359903.