1. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proc. IEEE Symp. Logic in Comp. Sci., pp. 415–425 (2004)
2. Anders, J., Browne, D.: Computational power of correlations. Phys. Rev. Lett. 102, 050502 (2009)
3. Banach, R., Jeske, C., Fraser, S., Cross, R., Poppleton, M., Stepney, S., King, S.: Approaching the formal design and development of complex systems: The retrenchment position. In: WSCS, IEEE ICECCS 2004 (2004)
4. Banach, R., Jeske, C., Poppleton, M., Stepney, S.: Retrenching the purse. Fundamenta Informaticae 77, 29–69 (2007)
5. Lecture Notes in Computer Science;R. Banach,1998