@misc{indiciae16a64bb02781,
  title = {A Practical Quantum Hoare Logic with Classical Variables, I},
  author = {Mingsheng Ying},
  year = {2026},
  doi = {10.1016/j.ic.2026.105417},
  url = {https://arxiv.org/abs/2412.09869},
  note = {Source identifier: 2412.09869}
}