Rock mechanics= Felsmechanik= Mecanique des roches . (Springer-Verlag, 1970)