Nano, Quantum and Molecular Computing. Implications to High Level Design and Validation - Shukla S. K. Sandeep K.; Bahar R. I. R. Iris (Boston, Kluwer Academic Publishers, 2004)