Cui Zhang Brian R. Becker Dave Peticolas Mark Heckman Karl N. Levitt Ronald A. Olsson Verification of a Distributed Computing. 252-261 1997 HICSS (5) http://doi.ieeecomputersociety.org/10.1109/HICSS.1997.663181 db/conf/hicss/hicss1997-5.html#ZhangBPHLO97