Books by Symposium on Reliable Distributed Systems (19th 2000 Nürnberg, Germany)