Making reliable distributed systems in the presence of software errors [pdf]cs.otago.ac.nz2 pointscolinprince7 years ago