Causal boxes: Quantum information-processing systems closed under compositionChristopher PortmannChristian Mattet al.2017IEEE Trans. Inf. Theory