1. Albert, M.H., Aldred, R.E.L., Atkinson, M.D., van Ditmarsch, H., Handley, C.C.: Safe communication for card players by combinatorial designs for two-step protocols. Australasian Journal of Combinatorics 33, 33–46 (2005)
2. Advances in Intelligent and Soft Computing;M.. H. Albert,2011
3. Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Gilboa, I. (ed.) Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), pp. 43–56 (1998)
4. Dixon, C.: Using temporal logics of knowledge for specification and verification–a case study. Journal of Applied Logic 4(1), 50–78 (2006)
5. Dobcsányi, P.: Design db (2011),
http://batman.cs.dal.ca/~peter/designdb/