Inhibiting factors, market structure and the industrial uptake of formal methods. - George Cleland; Donald MacKenzie (WIFT, 1995)

Experiences in applying formal methods to the analysis of software and system requirements. - David Hamilton; Richard Covington; John Kelly; Carron Kirkwood; Muffy Thomas; Alan R. Flora-Holmquist; Mark G. Staskauskas; Steven P. Miller; Mandayam K. Srivas; George Cleland; Donald MacKenzie (WIFT, 1995)

Graphical notations, narratives and persuasion: a Pliant Systems approach to Hypertext Tool Design. - Luke Emmet; George Cleland (Hypertext, 2002)