Ying, Duan, Feng, Ji, n.d.. Predicate Transformer Semantics of Quantum Programs, in: Gay, Mackie (Eds.), . Cambridge University Press.. https://doi.org/10.1017/cbo9781139193313.009