M. Talupur, und M. Tuttle. FMCAD '08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, Seite 1--8. Piscataway, NJ, USA, IEEE Press, (2008)
R. Kurshan, und K. McMillan. PODC '89: Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, Seite 239--247. New York, NY, USA, ACM, (1989)