Generating programming environments with integrated text and graphics for VLSI design systems. - George Alexander McCaskill (1987)

An Exercise in the Automatic Verification of Asynchronous Designs. - Andrew M. Bailey; George Alexander McCaskill; George J. Milne (Formal Methods Syst. Des., 1994)