Mining subsidence engineering - Kratzsch, Helmut (Springer Verlag, 1983)