Self-Complementary Symmetry Types of Boolean Functions. - Bernard Elspas (IRE Trans. Electron. Comput., 1960)

A note on p -nary adjacent-error-correcting codes. - Bernard Elspas (IRE Trans. Inf. Theory, 1960)

A note on optimum burst-error-correcting codes. - Bernard Elspas; Robert A. Short (IRE Trans. Inf. Theory, 1962)

Symmetric Latin Squares. - Robert C. Minnick; Bernard Elspas; Robert A. Short (IEEE Trans. Electron. Comput., 1963)

Error-locating codes-A new concept in error control. - Jack Keil Wolf; Bernard Elspas (IEEE Trans. Inf. Theory, 1963)

Topological constraints on interconnection-limited logic - Bernard Elspas (SWCT, 1964)

A Bound on the Run Measure of Switching Functions. - Bernard Elspas; Robert A. Short (IEEE Trans. Electron. Comput., 1964)

A conjecture on binary nongroup codes (Corresp.). - Bernard Elspas (IEEE Trans. Inf. Theory, 1965)

Single-error-correcting codes for constant-weight data words. - William H. Kautz; Bernard Elspas (IEEE Trans. Inf. Theory, 1965)

Decomposition of Group Functions and the Synthesis of Multirail Cascades - Bernard Elspas; Harold S. Stone (SWAT, 1967)

Software Reliability. - Bernard Elspas; Milton W. Green; Karl N. Levitt (Computer, 1971)

An Assessment of Techniques for Proving Program Correctness. - Bernard Elspas; Karl N. Levitt; Richard J. Waldinger; Abraham Waksman (ACM Comput. Surv., 1972)

SELECT - a formal system for testing and debugging programs by symbolic execution. - Robert S. Boyer; Bernard Elspas; Karl N. Levitt (Reliable Software, 1975)