Proving the Correctness of Multiprocess Programs
Reaching Agreement in the Presence of Faults
IEEE Transactions on Software Engineering
Journal of the ACM
R. Shostak
M. Pease
Beyond nash equilibrium
Dynamic voting
Understanding sanction under variable observability in a secure, collaborative environment