Design and Test of Digital Circuits by Quantum-Dot Cellular Automata - Huang (IEEE, 2007)