Diccionario de la técnica industrial: con inclusión del vocabulario principal de las ciencias auxiliares y de la construcción - Ernst, Richard (Libr. Técnica Extranjera, 1966)