Mining Laws of Ohio, 1921 by Ohio Department of Industrial Relations
 is a Project Gutenberg book, now on Github.