Comparing models of nondeterministic expression evaluation (2011)

by Ian J Hayes, Alan Burns, Brijesh Dongol, Cliff B Jones