1. Lecture Notes in Computer Science;M Abadi,1989
2. Aoshima, T.: On a verification system for reactive system specifications. Ph.D. thesis, Tokyo Institute of Technology (2003)
3. Arthur, D., Vassilvitskii, S.: K-means++: the advantages of careful seeding. In: Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007, pp. 1027–1035. Society for Industrial and Applied Mathematics, Philadelphia (2007)
4. Lecture Notes in Computer Science;R Bloem,2010
5. Lecture Notes in Computer Science;A Bohy,2012