TY  - RPRT
TI  - Proof rules for purely quantum programs
AU  - Yuan Feng
AU  - Runyao Duan
AU  - Zhengfeng Ji
AU  - Mingsheng Ying
PY  - 2006
UR  - https://arxiv.org/abs/cs/0507043
ID  - cs/0507043
ER  -