R68-8 Language Directed Computer Design. - Ralph E. Keirstead (IEEE Trans. Computers, 1968)

Software testing and certification. - Ralph E. Keirstead; Donn B. Parker (SIGMETRICS Perform. Evaluation Rev., 1972)