Foundations of Quantum Programming - Ying, Mingsheng (Morgan Kaufmann, 2016)