1. Defining liveness;Alperns;Information Processing Letters,1985
2. Arora, A., Theimer, M. 2003. On Modeling and Tolerating Incorrect Software. Microsoft Research Technical Report MSR-TR-2003-27.
3. Distributed Computing: Fundamentals, Simulations and Advanced Topics;Attiya,1998
4. Azagury, A., Dreizin, V., Factor, M., Henis, E., Naor, D., Rinetzky, N., Rodeh, O., Satran, J., Tavory, A., Yerushalmi, L., 2003. Towards an object store. In: Proceedings of the 20th IEEE/Eleventh NASA Goddard Conference on Mass Storage Systems and Technologies (MSST’03), San Diego, CA, USA. pp. 165–177.
5. Brukman, O., Dolev, S., Kolodner, E.K., 2003. Self-stabilizing autonomic recoverer for eventual Byzantine software. In: Proceeding of the IEEE International Conference on Software-Science, Technology and Engineering (SwSTE’03), Herzelya, Israel. pp. 20–29.