Y. Kesten, A. Pnueli, E. Shahar, и L. Zuck. CONCUR '02: Proceedings of the 13th International Conference on Concurrency Theory, стр. 101--115. London, UK, Springer-Verlag, (2002)
R. Kurshan, и K. McMillan. PODC '89: Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, стр. 239--247. New York, NY, USA, ACM, (1989)
P. Wolper, и V. Lovinfosse. Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, стр. 68--80. London, UK, Springer-Verlag, (1990)