The works of Pier Luigi Nervi - Nervi, Pier Luigi (New York Praeger, 1957)