Nano, Quantum and Molecular Computing Implications to High Level Design and Validation - Shukla, Sandeep K. (Springer US, 2004)