Efek pembuatan terowongan terhadap penurunan tanah = Effect of tunneling on ground settlement / Muhammad Raju (Fakultas Teknik Universitas Indonesia, 2014)