Automated computer design. - John P. Malbrain; Anthony V. Banes (ACM National Meeting, 1959)

"Error free MOS/LSI design system". - Anthony V. Banes (DAC, 1972)

Path Sensitization, Partial Boolean Difference, and Automated Fault Diagnosis. - Albert C. L. Chiang; Irving S. Reed; Anthony V. Banes (IEEE Trans. Computers, 1972)