A program verification system. - Raymond J. Hookway; George W. Ernst (ACM Annual Conference, 1976)

SICSOFT (Paper Session). - Burt M. Leavenworth; Raymond J. Hookway; George W. Ernst; Thomas A. Standish; Dennis F. Kibler; James M. Neighbors; J. C. Huang (ACM Annual Conference, 1976)

The Use of Higher Order Logic in Program Verification. - George W. Ernst; Raymond J. Hookway (IEEE Trans. Computers, 1976)

Procedure semantics and language definition. - Franklyn T. Bradshaw; George W. Ernst; Raymond J. Hookway; William F. Ogden (ACM SIGPLAN Notices, 1980)

Use of data abstraction in process specification. - Franklyn T. Bradshaw; George W. Ernst; Raymond J. Hookway (ACM SIGSOFT Softw. Eng. Notes, 1982)

Verifying Ada programs. - Raymond J. Hookway (ACM SIGSOFT Softw. Eng. Notes, 1985)

Modular Verification of Ada Generics. - George W. Ernst; Raymond J. Hookway; James A. Menegay; William F. Ogden (Comput. Lang., 1991)

Modular Verification of Data Abstractions with Shared Realizations. - George W. Ernst; Raymond J. Hookway; William F. Ogden (IEEE Trans. Software Eng., 1994)

DIGITAL FX!32 running 32-Bit x86 applications on Alpha NT. - Raymond J. Hookway (COMPCON, 1997)

DIGITAL FX!32: Combining Emulation and Binary Translation. - Raymond J. Hookway; Mark A. Herdeg (Digit. Tech. J., 1997)

FX!32 a profile-directed binary translator. - Anton Chernoff; Mark A. Herdeg; Raymond J. Hookway; Chris Reeve; Norman Rubin; Tony Tye; S. Bharadwaj Yadavalli; John Yates (IEEE Micro, 1998)