Reasoning About Quantum Interaction, 2010-2015. tr 2010, 4 (4).