Van Roy (Catholic University of Leuven), ed. (Berlin, Germany: Springer-Verlag, 2005): 3389.
263 Chris Hawblitzel (Dartmouth University), “Clay Research Activities and Findings” [web page] (Hanover,
NH: Dartmouth University Computer Science Department).
264 Matt Messier and John Viega, “Safe C String Library v1.0.3” [web page] (January 30, 2005).