The application of a formal development method to a parallel machine environment. - K. D. Jones (1985)

Mural - a formal development support system. - Clifford B. Jones; K. D. Jones; Peter Alexander Lindsay; Richard C. Moore (Springer, 1991)

The Automatic Generation of Functional Test Vectors for Rambus Designs. - K. D. Jones; J. P. Privitera (DAC, 1996)