Yuri Gurevich Dean Rosenzweig Partially Ordered Runs: A Case Study. 131-150 http://link.springer.de/link/service/series/0558/bibs/1912/19120131.htm 2000 conf/asm/2000 Abstract State Machines db/conf/asm/asm2000.html#GurevichR00