Interacting quantum observables - Coecke, B; Duncan, R (Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming (ICALP), 2008)