The generation of simulator-based systems for microcode development. - Colin C. Charlton; D. Jackson; Paul H. Leng (MICRO, 1984)

A functional model of clocked microarchitectures. - Colin C. Charlton; D. Jackson; Paul H. Leng (MICRO, 1989)

Lazy simulation of digital logic. - Colin C. Charlton; D. Jackson; Paul H. Leng (Comput. Aided Des., 1991)

Computer systems for distributed and distance learning. - M. Anderson; D. Jackson (J. Comput. Assist. Learn., 2000)