International digest of health legislation (World Health Organization, 1948)