Christian Lengauer, Eric C. R. Hehner. A methodolgy for programming with concurrency. In Wolfgang Händler, editor, CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, Germany, June 10-12, 1981, Proceedings. Volume 111 of Lecture Notes in Computer Science, pages 259-270, Springer, 1981.
@inproceedings{LengauerH81, title = {A methodolgy for programming with concurrency}, author = {Christian Lengauer and Eric C. R. Hehner}, year = {1981}, tags = {C++, programming}, researchr = {https://researchr.org/publication/LengauerH81}, cites = {0}, citedby = {0}, pages = {259-270}, booktitle = {CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, Germany, June 10-12, 1981, Proceedings}, editor = {Wolfgang Händler}, volume = {111}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-10827-0}, }