Diccionario de la tecnica industrial... - Ernst, Richard (Brandstetter, 1958)