The portability of low-level software. - P. Fairfield (1983)

STRAPS - a software transport system for low-level software. - P. Fairfield (J. Syst. Softw., 1985)

Data flow analysis of recursive procedures. - P. Fairfield; Michael A. Hennell (ACM SIGPLAN Notices, 1988)