1. Danos, V., D’Hondt, E., Kashefi, E., Panangaden, P.: Distributed measurementbased quantum computation. In: Selinger, P. (ed.) Proceedings of the 3rd Workshop on Quantum Programming Languages, QPL 2005 (2005)
2. Hintikka, J.: Knowledge and belief - An introduction to the logic of the two notions. Cornell University Press, Ithaca (1962)
3. Halpern, J.Y.: Reasoning about knowledge: a survey. In: Handbook of Logic in Artificial Intelligence and Logic Programming., vol. 4, pp. 1–34. Oxford University Press, Oxford (1995)
4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. MIT Press, Cambridge (1995)
5. Nielsen, M.A., Chuang, I.: Quantum computation and quantum information. Cambridge University Press, Cambridge (2000)