The 2nd International Conference on Information Science and Engineering Information Science and Engineering (ICISE), 2010 2nd International Conference on. :4678-4681 Dec, 2010
Mathematical Structures in Computer Science. A Journal in the Applications of Categorical, Algebraic and Geometric Methods in Computer Science (Math. Structures Comput. Sci.) (20220101), 32, no.~8, 1099-1116. ISSN: 0960-1295 (print).eISSN: 1469-8072.