1. Solid Logic Design Automation
2. “Outline of an Algorithm for Integer Solutions to Linear Programs,” Bull. Am. Math. Soc., pp. 275–278 (Sept. 1958).
3. “Formulation and Solution of Circuit Card Design Problems Through Use of Graph Methods,” Advances in Electronic Circuit Packaging (Plenum Press, N. Y., 1962), Vol. 2, pp. 121–142.
4. and , “STL Board Layout,” IBM Technical Report TR 00.1010 (March 10, 1964).