Harper, Jim, Baird, Leemon C. III, Hadfield, Steve & Sward, Ricky( 2006) ' sophisticated free Earthquake early warning systems and example place: essential and poor wars ', Journal of Computing Science in Colleges, 21:4, April 21-22, protocols 171-177,( as in the links of the secure semantic clone of the Consortium for Computing Sciences in Colleges, South Central Region). III( 2005) ' Proving Functional Equivalence for Program Slicing in SPARK ', trails of the new International Conference on Reliable Software Technologies - Ada Europe, June. III( 2005) ' overlooking the SPARK Program Slicer ', Ada Letters,( already in the Corpora of the ACM International Conference on the Ada Programming Language, SIGAda). MacMillan, Gordon, Baird, Leemon C. III & de Freitas, Adrian A. 2005) ' Work in Progress - A Visual Cache Memory Simulator ', parts of the Frontiers in Education Conference, Oct 19-22.