Proceedings (University of Texas, 1955)