Can fair choice be added to Dijkstra's calculus? - Broy, Manfred 1949-; Nelson, Greg (Systems Research Center <Palo Alto, Calif.>: SRC reports, 1989)