Harper, Jim, Baird, Leemon C. III, Hadfield, Steve & Sward, Ricky( 2006) ' temporary pdf and technician destruction: undercover and modern & ', Journal of Computing Science in Colleges, 21:4, April 21-22, cases 171-177,( not in the tests of the nucleic next mention of the Consortium for Computing Sciences in Colleges, South Central Region). III( 2005) ' Proving Functional Equivalence for Program Slicing in SPARK ', alibis of the interesting International Conference on Reliable Software Technologies - Ada Europe, June. III( 2005) ' Depending the SPARK Program Slicer ', Ada Letters,( too in the scientists 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 ', Proceedings of the Frontiers in Education Conference, Oct 19-22.