Twenty-fifth World Health Assembly, Geneva, 9-26 May 1972 (Official records of the World Health Organization, 1972)