Robert L. Ashenhurst
-
On design principles for a molecular computer
Communications of the ACM
Reflections on trusting trust
Computer science as empirical inquiry: symbols and search
Principles of Program Design