Engineering rock mechanics : - Harrison, John P. (Pergamon,)