@misc{indiciaee959029da419, title = {High-Level Methods for Quantum Computation and Information}, author = {Samson Abramsky}, year = {2009}, doi = {10.1109/lics.2004.1319635}, url = {https://arxiv.org/abs/0910.3920}, note = {Source identifier: 0910.3920} }