Title: Doctors and other medical personnel in the public health services in Africa 1930-1965