Tunelování - Sedláček, Jaroslav (Knižnice stavebního průmyslu, 1952)