Podzemní stavitelství. 1. díl - Straka, Jan, 1906-1983 (Učební texty vysokých škol, 1963)