Certification of algorithm 158: exponentiation of series. - J. Dennis Lawrence (Commun. ACM, 1963)

Experimental tests of resolution-based theorem-proving strategies. - J. Dennis Lawrence; J. Denbigh Starkey (Inf. Sci., 1976)

Language files and'data bases - two I/O systems or one? - J. Dennis Lawrence; H. Randall Johnson; James A. Larson (COMPSAC, 1979)

Conceptual Issues in Measuring the Behavior of a Distributed Real-Time Process-Control Computer System. - J. Dennis Lawrence (Int. CMG Conference, 1987)

Modeling the Reliability of a Real-Time System. - J. Dennis Lawrence (Int. CMG Conference, 1988)

A Tutorial on Software Reliability Engineering. - J. Dennis Lawrence (Int. CMG Conference, 1989)