@article{Ying12,
 author = {Mingsheng Ying},
 title = {Floyd--\textnormal{Hoare} Logic for Quantum Programs},
 journal = {ACM Transactions on Programming Languages and Systems},
 volume = {33},
 number = {6},
 year = {2011},
 pages = {19:1--19:49},
 publisher = {ACM}
}
