Elsevier's dictionary of industrial technology in English, German, and Portuguese (Elsevier, 1994)