1. QPEL: quantum program and effect language;Adams,2014
2. Verification of Sequential and Concurrent Programs;Apt,2009
3. Relational proofs for quantum programs;Barthe;Proceedings of the ACM on Programming Languages,2020
4. Simple relational correctness proofs for static analyses and program transformations;Benton,2004
5. The logic of quantum mechanics;Birkhoff;Annals of Mathematics,1936