Making reliable distributed systems in the presence of software errors (2003) [pdf]
ftp.nsysu.edu.tw