Paper: Making Reliable Distributed Systems In The Presence Of Software Errors

This is not a paper, it's Joe Armstrong's PhD thesis on Erlang (from 2003), and it's been posted & discussed countless times here.