English rock terms chiefly as used by miners and quarrymen - Arkell, W. J. (William Joscelyn), 1904-1958 (Oxford University Press, 1953)