Peter J. Leadbitter Dan Page Nigel P. Smart Nondeterministic Multithreading. 992-998 2007 56 IEEE Trans. Computers 7 http://dx.doi.org/10.1109/TC.2007.1049 db/journals/tc/tc56.html#LeadbitterPS07