Malherbe, et al.. Presheaf Models of Quantum Computation: An Outline. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-38164-5_13.