@inproceedings{Yin03Separating,
 author = {Jian Yin and Jean-Philippe Martin and Arun Venkataramani and Lorenzo Alvisi and Mike Dahlin},
 title = {Separating agreement from execution for byzantine fault tolerant services},
 booktitle = {Proceedings of the nineteenth ACM symposium on Operating systems principles},
 year = {2003},
 isbn = {1-58113-757-5},
 pages = {253--267},
 location = {Bolton Landing, NY, USA},
 doi = {http://doi.acm.org/10.1145/945445.945470},
 url = {http://www.cs.utexas.edu/users/lasr/papers/Yin03Separating.pdf},
 publisher = {ACM Press}
 }