Programming semantics for multiprogrammed computations. - Jack B. Dennis; Earl C. Van Horn (Commun. ACM, 1966)

Computer design for asynchronously reproducible multiprocessing. - Earl C. Van Horn (1966)

Three criteria for designing computing systems to facilitate debugging. - Earl C. Van Horn (Commun. ACM, 1968)

Software evolution using the SEER data base. - Earl C. Van Horn (COMPSAC, 1978)

Programming Semantics for Multiprogrammed Computations (Reprint). - Jack B. Dennis; Earl C. Van Horn (Commun. ACM, 1983)