Nano, quantum, and molecular computing: implications to high level design and validation - Shukla, Sandeep K.; Bahar, R. Iris. (Kluwer Academic Publishers, 2004)