Workmen's compensation coverage of public employees. (U.S.Department of Labor.Bureau of Labor Standards.Bulletin, 1962)