2010. Reasoning About Quantum Interaction, 2010-2015. The Reasoner. 4, 4 (Apr. 2010).