Logic and algebraic structures in quantum computing - Chubb, Jennifer,Ed (CUP, 2016)