The production of optimised machine-code for high-level languages using machine-independent intermediate codes. - Peter Salkeld Robertson (1981)

Designing gate arrays using a silicon compiler. - John P. Gray; Irene Buchanan; Peter Salkeld Robertson (DAC, 1982)