Arrow demonstrated the theorem in his doctoral thesis. He popularized it in his 1951 book "Social Choice and Individual Values". The original paper was titled "A Difficulty in the Concept of Social Welfare".