Strong complementarity and non−locality in categorical quantum mechanics - Coecke, B; Duncan, R; Kissinger, A; Wang, Q (IEEE, 2012)