Title: The Scottish Coal-mining Industry, A Short History of