Floating-Point Arithmetic and Program Correctness Proofs. - John Holm (1980)

Product Health Insights Using Telemetry. - Fei Su; Robert Kwasnick; John Holm; William Penner; Hermann Gartler; Josh Boelter; Yufei Zhou; Bijan Arbab; Michael Rothberg (IEEE Des. Test, 2024)

Innovation Practices Track: Industry RAS/SDC Innovative Practices - from Silicon to Mega Fleets. - Fei Su; Yogesh Varma; John Holm; Drew Walton (VTS, 2025)