Adding fair choice to Dijkstra's calculus | ACM Transactions on Programming Languages and Systems (TOPLAS) | DeepDyve