Istituti tecnici industriali edilizia, industria mineraria (Programmi scolastici Pirola, 1962)