English rock terms chiefly as used by miners and quarrymen - Arkell, William J.; Tomkeieff, Sergei S. (Oxford Univ. Press, 1953)