Texas. College of industrial arts. Denton. [from old catalog]