TY  - RPRT
TI  - High-Level Methods for Quantum Computation and Information
AU  - Samson Abramsky
PY  - 2009
DO  - 10.1109/lics.2004.1319635
UR  - https://arxiv.org/abs/0910.3920
ID  - 0910.3920
ER  -