Hayes, Ian J. and Burns, Alan and Dongol, Brijesh and Jones, Cliff B.  (2012) Comparing Models of Nondeterministic Expression Evaluation.  The Computer Journal, (submi .       (Submitted)