Books

• Budd, T.A. and Horstmann, C., Big C++, Wiley, 2005.
• Budd, T. A., Introduction to Object-Oriented Programming, Third Edition, Addison-Wesley, Reading, MA, 2002, 611 pp. (Chinese translation by China Machine Press, 2003).
• Budd, T.A., Classic Data Structures in Java, Addison-Wesley, Reading, PA, 2001, 593 pp.
• Budd, T.A., Understanding Object-Oriented Programming with Java, Updated Edition, Addison-Wesley, Reading, PA, 2000, 420 pp.
• Budd, T.A., C++ for Java Programmers, Addison-Wesley, Reading, PA, 1999, 290 pp. (Reviewed in The C Users Journal, December 1999.)
• Budd, T.A., Understanding Object-Oriented Programming with Java, Addison-Wesley, Reading, MA, 1998, 367 pp.
• Budd, T.A., Data Structures in C++ Using the STL, Addison-Wesley, Reading, MA, 1997, 544 pp.
• Budd, T.A., Introduction to Object-Oriented Programming, Second Edition, Addison-Wesley, Reading, MA, 1997, 452 pp. (Chinese, Japanese, and Russian translations published by Addison-Wesley, 1998.)
• Budd, T.A., Multiparadigm Programming in Leda, Addison-Wesley, Reading, MA, 1995, 394 pp.
• Budd, T.A., Classic Data Structures in C++ , Addison-Wesley, Reading, MA, 1994, 543 pp. (Japanese translation published by ASCII Corporation, 1999.)
• Budd, T.A., An Introduction to Object Oriented Programming, Addison-Wesley, Reading, MA, 1991, 399 pp. (Reviewed in The Journal of Object-Oriented Programming, 1991; Novye Knigi za Rubezhom (New Foreign Books C USSR), 1991; American Mathematical Monthly, 1991; Programmer's Journal, 1991) (French, Spanish, Japanese, and Chinese translations published by Addison-Wesley, 1992)
• Budd, T.A., An APL Compiler, Springer-Verlag, New York, 1988, 156 pp. (Reviewed in APL News, 1988; Computing Reviews, December 1988; Novye Knigi za Rubezhom (New Foreign Books - USSR), 1988; Journal of Information Processing and Cybernetics (DDR), 1989; and American Scientist, November 1989.)
• Budd, T.A., A Little Smalltalk, Addison-Wesley, Reading, MA, 1987, 280 pp. (Reviewed in The C User's Group Newsletter, June 1987; Byte, January 1988; and Computing Reviews, March 1988. Selected a book of the month in Byte, April 1988.) Japanese Translation by ASCII Corporation, 1989.

Articles in Books

• Budd, T.A., "The Return of Jensen's Device," in Multiparadigm Programming with Object-Oriented Languages, published by John von Newmann Institute for Computing, Jülich, Germany, 2002.
• Budd, T.A., "Object-Oriented Programming," in the Encyclopedia of Life Support Systems, published by UNESCO (the United Nations Educational, Scientific and Cultural Organization), 2002.
• Budd, T.A., "Object-Oriented Programming," in Handbook of Programming Languages , Macmillan Technical Publishing, 1998.
• Budd, T.A., "User's Guide and Tutorial," in The Standard C++ Library, Rogue Wave, Corvallis, Oregon, 1995.
• Budd, T.A., "A Parallel Intermediate Representation Based on Lambda Expressions," in Arrays, Functional Languages, and Parallel Systems, Kluwer Publishing, Norwall, MA, 1990.
• Budd, T.A., "Bib - A Program for Formatting Bibliographies," in Unix User's Supplementary Documents, 4.3 Berkeley Software Distribution, April 1986.
• Budd, T.A., "Techniques for Advanced Software Validation," in Software Engineering: Developments, Peter J. Wallis, ed., Infotech State of the Art Report, May 1983. (Invited paper)
• Budd, T.A., "Mutation Analysis, Ideas, Examples, Problems and Prospects," in Software Testing, B. Chandrasakeran, ed., North Holland, 1981. (Invited paper)
• Budd, T.A., Frederick Sayward, Richard DeMillo, and Richard Lipton, "Discussion of 'A Survey of Programming Testing Issues' (by John Goodenough)," in Research Directions in Software Technology, Peter Wegner, ed., pp. 408-413, MIT Press, 1979.
• Budd, T.A., Frederick Sayward, Richard DeMillo, and Richard Lipton, "The Design of a Prototype Mutation System for Program Testing," in Tutorial: Automated Tools for Software Engineering, Edward Miller, ed., pp. 226-230, IEEE Computer Society, 1979.
• Budd, T.A. and Richard Lipton, "On Classes of Protection Systems," in Foundations of Secure Computation, R.A. DeMillo, D.P. Dobkin, A.K. Jones, and R.J. Lipton, eds., pp. 281-296, Academic Press, 1978.

Journal Publications

• Budd, T.A., "Protecting and Managing Electronic Content with a Digital Battery," IEEE Computer, Vol. 34(8): 24-30, August 2001.
• Budd, T.A., "Time Space Tradeoffs in Vector Algorithms for APL Functions," Vector, Vol. 16(2): 101-112 (October 1999).
• Budd, T.A., "Generalized Arithmetic in C++, "Journal of Object-Oriented Programming, Vol 3(6): 11-23 (February 1991).
• Budd, T.A., "LEDA – A Blending of Imperative and Relational Programming," IEEE Software, Vol 8(1), 58-65 (January 1991).
• Budd, T.A., "The Design of an Object Oriented Command Interpreter," Software - Practice & Experience, Vol 19(1): 35-51 (January 1989).
• Budd, T.A., "Creation and Reflexive Rights in Grammatical Protection Systems," Information Processing Letters, Vol 21(3): 141-145 (1985).
• Budd, T.A. and Ajei Gopal, "Program Testing by Specification Mutation," Computer Languages, Vol 10(1): 63-73 (1985).
• Treat, Joseph M. and T.A. Budd, and "Extensions to Grid Selector Composition and Compilation in APL," Information Processing Letters, Vol 19(3): 117-123 (October 1984).
• Budd, T.A., "The Design of an APL Compiler for a Vector Processor," ACM Transactions on Programming Languages and Systems, Vol 6(3): 297-312 (July 1984).
• Budd, T.A., "Safety in Grammatical Protection Systems," International Journal of Computer and Information Sciences, Vol 12(6): 413-431 (December 1983).
• Budd, T.A. and Dana Angluin, "Two Notations of Correctness and Their Relation to Testing," Acta Informatica, Vol 18: 31-45 (1982).
• Budd, T.A., "An Implementation of Generators in C," Computer Languages, Vol 7(2): 69-88 (1982).

Conference Publications

• Budd, T.A., T.P. Justice, and R.K. Pandey, "General-Purpose Multiparadigm Programming Languages: An Enabling Technology for Constructing Complex Systems," Proceedings of the First IEEE International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, FL, November 6-10, 1995, pp. 334-337.
• Budd, T.A., "Multiparadigm Data Structures in Leda," International Conference on Computer Language, 1992.
• Budd, T.A., "Dataflow Analysis in APL," APL 85, Seattle, WA , May 1985.
• Budd, T.A., "An APL Compiler for the UNIX Timesharing System," APL 83, Washington, D , April 1983.
• Budd, T.A., Richard Lipton, Richard DeMillo, and Frederick Sayward, "Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs," Proceedings of the Seventh Conference on Principles of Programming Languages, pp. 220-233, January 1980.
• Budd, T.A. and Richard Lipton, "Proving LISP Programs Using Test Data," Digest of the Workshop on Software Testing and Test Documentation, Ft. Lauderdale, FL, 1978.
• Budd, T.A., Frederick Sayward, Richard DeMillo, and Richard Lipton, "The Design of a Prototype Mutation System for Program Testing," Proceedings of the 1978 National Computer Conference, pp. 623-627.