http://am.lcs.mit.edu/6.824-2013/