1. Ralph-Johan Back and Joakim Wright . 2012. Refinement calculus: a systematic introduction . Springer Science & Business Media . Ralph-Johan Back and Joakim Wright. 2012. Refinement calculus: a systematic introduction. Springer Science & Business Media.
2. Yuxin Deng , Yuan Feng , and Ugo Dal Lago . 2015 . On Coinduction and Quantum Lambda Calculi. In 26th International Conference on Concurrency Theory. 427–440 . Yuxin Deng, Yuan Feng, and Ugo Dal Lago. 2015. On Coinduction and Quantum Lambda Calculi. In 26th International Conference on Concurrency Theory. 427–440.
3. David Deutsch . 1985 . Quantum theory, the Church–Turing principle and the universal quantum computer . Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 400 , 1818 (1985), 97–117. David Deutsch. 1985. Quantum theory, the Church–Turing principle and the universal quantum computer. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 400, 1818 (1985), 97–117.
4. Quantum weakest preconditions
5. Edsger Wybe Dijkstra . 1976. A discipline of programming . Prentice-Hall Englewood Cliffs . Edsger Wybe Dijkstra. 1976. A discipline of programming. Prentice-Hall Englewood Cliffs.