Tehnički leksikon (2007)
derivacija, građevinska (engl. diversion channel, diversion tunnel; njem. Umleitungsbauwerk; rus. деривационный ...