On Distributed Verification (2006)

by Amos Korman, Shay Kutten