Third age usability and safety-an ergonomics contribution to design. - David R. Hitchcock; Suzanne Lockyer; Sharon Cook; Claire Quigley (Int. J. Hum. Comput. Stud., 2001)

Automation for interactive proof: First prototype. - Jia Meng 002; Claire Quigley; Lawrence C. Paulson (Inf. Comput., 2006)

Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596]. - Jia Meng 002; Claire Quigley; Lawrence C. Paulson (Inf. Comput., 2006)