M. R. Lightner

Application of the optimization program AOP to the design of memory circuits: IEEE Trans. CAS-22, No 6, (June 1975), pp 496–503

G. D. Hachtel, M. R. Lightner, H. J. Kelly, 1977 .

Simulation Procedures for Large-Scale Electronic Systems

M. R. Lightner, A. W. Westerberg, M. Lightner, 1978 .

Implication Algorithms for MOS Switch Level Functional Macromodeling, Implication and Testing

Gary D. Hachtel, M. R. Lightner, 1982, DAC 1982.

Application of the optimization program AOP to the design of memory circuits

G. D. Hachtel, M. R. Lightner, H. J. Kelly, 1975 .

Distributed Processing Environment

M. R. Lightner, 1990 .