Jennifer Ren, Michel Cukier, Paul Rubel, William H. Sanders, David E. Bakken, David A. Karr. Building Dependable Distributed Applications Using AQUA. In 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE 99), 17-19 November 1999, Washington, D.C, USA, Proceedings. pages 189-196, IEEE Computer Society, 1999. [doi]