Dahlia Malkhi, Mike Reiter, and Nancy Lynch.
<b>A Correctness Condition for Memory Shared by Byzantine Processes
Submitted for publication.</b><cite> Submitted for publication,
September, 1998.</cite><a
href="http://theory.lcs.mit.edu/tds/papers/Lynch/lynch-malk-reit.ps.gz">(Compressed
Postscript)</a>