«Bauprozesse und Bauverfahren des Tunnelbaus», Gerhard Girmscheid benzeri kitaplar