A Brief Tour of FLP Impossibility [dist. Systems]
the-paper-trail.org