Gary York Daniel P. Siewiorek Zary Segall Asynchronous Software Voting in NMR Computer Structures. 28-37 1983 Symposium on Reliability in Distributed Software and Database Systems db/conf/srds/srds83.html#YorkSS83