Riosand Selinger. A Categorical Model for a Quantum Circuit Description Language (extended Abstract). Open Publishing Association, Feb. 2018, doi:10.4204/eptcs.266.11.