D. Aharonov, A. Ambainis, J. Kempe and U. Vazirani, Quantum walks on graphs, Proceedings of the 33rd ACM Symposium on Theory of Computing (STOC), 2001, pp. 50-59.
 T. Altenkirch, J. Grattage, J. K. Vizzotto and A. Sabry, An algebra of pure quantum programming, Electronic Notes in Theoretical Computer Science, 170(2007)23-47.
 A. Ambainis, E. Bach, A. Nayak, A. Vishwanath and J. Watrous, One-dimensional quantum walks, Proceedings of the 33rd ACM Symposium on Theory of Computing (STOC), 2001, pp. 37-49.
 E. D'Hondt and P. Panangaden, Quantum weakest preconditions, Mathematical Structures in Computer Science, 16(2006)429-451.
 E. W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, 18(1975)453-457. [OpenAIRE]
 S. Gay, Quantum programming languages: survey and bibliography, Mathematical Structures in Computer Science, 16(2006)581-600.
 E. H. Knill, Conventions for quantum pseudocode, Technical Report LAUR-96-2724, Los Alamos National Laboratory, 1996.
 M. Lampis, K. G. Ginis, M. A. Papakyriakou and N. S. Papaspyrou, Quantum data and control made easier, Electronic Notes in Theoretical Computer Science, 210(2008)85- 105. [OpenAIRE]
 A. McIver and C. Morgan, Abstraction, Refinement and Proof for Probabilistic Systems, Springer, New York, 2005.
 M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, Cambridge (2000)
 B. O¨ mer, Structural quantum programming, Ph.D. Thesis, Technical University of Vienna, 2003.
 J. W. Sanders and P. Zuliani, Quantum programming, Proceedings of Mathematics of Program Construction 2000, LNCS 1837, Springer-Verlag, pp. 88-99.
 P. Selinger, Towards a quantum programming language, Mathematical Structures in Computer Science, 14(2004)527-586. [OpenAIRE]
 V. V. Shende, S. S. Bullock and I. L. Markov, Synthesis of quantum-logic circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25(2006)1000-1010. [OpenAIRE]
 P. Xue and B. C. Sanders, Two quantum walkers sharing coins, Physical Review A, 85(2012) art. no. 022307.