Rios, Selinger, 2018. A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) 266.. https://doi.org/10.4204/eptcs.266.11