Newell, A. and Shaw, J. C., "Programming the Logic Theory Machine"

[JCC 11] (1957) [JCC 11] Proceedings of the Western Joint Computer Conference, Los Angeles February 1957  

Languages mentioned IPL-IV {1956} Information Processing Language version 4 LT {1957} Logical Theorist - theorem proving system at RAND