A magyarországi bányásztársadalom története 1867-ig - Gergely, Ernő (Műszaki Könyvkiadó, 1986)