Transformation rules for designing CNOT-based quantum circuits
Quantum Computation and Quantum Information