%0 Journal Article %1 journals/cacm/Gries77 %A Gries, David %D 1977 %J Commun. ACM %K dblp %N 12 %P 921-930 %T An Exercise in Proving Parallel Programs Correct. %U http://dblp.uni-trier.de/db/journals/cacm/cacm20.html#Gries77 %V 20

@article{journals/cacm/Gries77, added-at = {2018-11-06T00:00:00.000+0100}, author = {Gries, David}, biburl = {https://www.bibsonomy.org/bibtex/2514fe970fdb7ab85cdf8b31192755079/dblp}, ee = {https://doi.org/10.1145/359897.359903}, interhash = {649ad180aef000afee98cb6314d45943}, intrahash = {514fe970fdb7ab85cdf8b31192755079}, journal = {Commun. ACM}, keywords = {dblp}, note = {Corrigendum: CACM 21(12): 1048}, number = 12, pages = {921-930}, timestamp = {2018-11-07T11:52:42.000+0100}, title = {An Exercise in Proving Parallel Programs Correct.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm20.html#Gries77}, volume = 20, year = 1977 }