Смирнов Сергей Антонович, директор Индустриального института (29.05.1938 - 01.07.1940) // Санкт-Петербургский государственный политехнический университет в XX - начале XXI века: исторические очерки о его руководителях