Logic and Algebraic Structures in Quantum Computing - Jennifer Chubb; Ali Eskandarian; Valentina Harizanov (2016)