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