Formal description-the first step in design automaA.D. Falkoff1965Annual SHARE Design Automation Workshop 1965
GaAs Optically Coupled Transistor with a Lasing EmitterR.F. RutzM.I. Nathanet al.1965Proceedings of the IEEE
Correspondence: A Comparison of Block and Recurrent Codes for the Correction of Independent ErrorsC. FreimanJ.P. Robinson1965IEEE Trans. Inf. Theory
Solutions of combinatorial problems using generating functions on a variable-field computerG.M. Weinberg1964CACM