leavens@cs.iastate.edu (Gary Leavens) (07/17/90)
Thanks to those who responded to my initial query on this subject. Those who followed it may also be interested in DEC SRC research report 38, "Can fair choice be added to Dijkstra's calculus" by Broy and Nelson (Feb, 1989). Gary Leavens -- 229 Atanasoff Hall, Department of Computer Science Iowa State University, Ames, Iowa 50011-1040, USA phone: (515) 294-1580