Manfred Broy, Greg Nelson. Adding Fair Choice to Dijkstra s Calculus. ACM Transactions on Programming Languages and Systems, 16(3):924-938, 1994. [doi]
@article{BroyN94, title = {Adding Fair Choice to Dijkstra s Calculus}, author = {Manfred Broy and Greg Nelson}, year = {1994}, doi = {10.1145/177492.177727}, url = {http://doi.acm.org/10.1145/177492.177727}, researchr = {https://researchr.org/publication/BroyN94}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {16}, number = {3}, pages = {924-938}, }