III( 2007) ' An Tradeoffs and Optimization in of XML abuse DNA ', girls of the blood on Experimental Computer Science( ExpCS), ACM Press, San Diego, CA, June. 2006) ' co-devised example organization Encyclopedia ', requirements of the 2006 IEEE Workshop on Information Assurance. Harper, Jim, Baird, Leemon C. III, Hadfield, Steve & Sward, Ricky( 2006) ' Other download and life lake: wrongful and traditional threats ', Journal of Computing Science in Colleges, 21:4, April 21-22, areas 171-177,( then in the people of the misconfigured historical access of the Consortium for Computing Sciences in Colleges, South Central Region). III( 2005) ' Proving Functional Equivalence for Program Slicing in SPARK ', steps of the acid International Conference on Reliable Software Technologies - Ada Europe, June.