Rock mechanics, models and measurements, challenges from industry proceedings of the 1st North American Rock Mechanics Symposium, the University of Texas at Austin, 1 - 3 June 1994 (Balkema, 1994)