1. More-than-Moore, White Paper;Arden,2010
2. Molecular Computation of Solutions to Combinatorial Problems;Adleman;Science,1994
3. Computing with DNA;Adleman;Scientific American,1998
4. Validity of the Single Processor Approach to Achieving Large Scale Computing Capabilities;Amdahl,1967
5. Combining Coq and Gappa for Certifying Floating-Point Programs;Boldo,2009