Gauss: A Framework for Verifying Scientific Computing Software. - Robert Palmer; Steve Barrus; Yu Yang 013; Ganesh Gopalakrishnan; Robert M. Kirby (SoftMC@CAV, 2005)

An Efficient and Robust Ray-Box Intersection Algorithm. - Amy Williams; Steve Barrus; R. Keith Morley; Peter Shirley (J. Graph. Tools, 2005)