Michael G. Main, David B. Benson: Functional Behaviour of Nondeterministic Programs. FCT 1983: 290-301