Automated computer card design. - L. Steinberg; Bernard Kolman (ACM National Meeting, 1961)

Reliability and fault-masking in n-variable NOR trees - Marion Dunning; Bernard Kolman (SWCT, 1965)

Computer Approaches to the Representations of Lie Algebras. - Bernard Kolman; Robert E. Beck (J. ACM, 1972)

Computers in the study of Lie algebras. - Bernard Kolman; Robert E. Beck (SYMSACC, 1976)

Construction of nilpotent Lie algebras over arbitrary fields. - Robert E. Beck; Bernard Kolman (SYMSACC, 1981)

Algorithms for central extensions of Lie algebras. - Robert E. Beck; Bernard Kolman (SYMSACC, 1981)

Discrete mathematical structures for computer science (2. ed.). - Bernard Kolman; Robert C. Busby (Prentice Hall, 1986)

Symbolic algorithms for Lie algebra computation. - Robert E. Beck; Bernard Kolman (SYMSAC, 1986)