Transformation rules for designing CNOT-based quantum circuits
Elementary Gates for Quantum Computation