Symbolic logic in engineering: I. symbolic logic truth matrices on a computer. - R. G. Larkin; H. M. Semarne (ACM National Meeting, 1959)

Symbolic logic in language engineering. - H. M. Semarne (IRE-AIEE-ACM Computer Conference (Western), 1960)

Stored logic computing. - H. M. Semarne; William C. McGee (ACM National Meeting, 1961)