Arkell, Wj <br/><br/>
English rock terms  Chiefly as used by miners and quarry man / 

 -  1953.