Доминирующие и подстраивающиеся функции

Совсем недавно до меня внезапно дошла одна интересная вещь: я использую при типировании два термина (подстраивающаяся и доминирующая функция), о которых абсолютно ничего не знаю. Краем уха где-то слышал про них и лишь на этой основе подумал, что их можно использовать. На самом же деле, я не знаю ни того, что они означают, ни того, кто их придумал, а также почему и зачем это было сделано. Какое-то время я совершенно блаженно считал автором Виктора Саенко по той глупой причине, что вроде где-то краем уха услышал об этом "факте". Также, какое-то время я столь же блаженно считал, что эти термины написаны в самом "Синтаксисе"... Когда сейчас стал разбираться, что же всё-таки означают эти термины, понял, что сам улавливаю их смысл скорее интуитивно. Всё это мне очень не нравится и потому хочу спросить - знает ли кто-нибудь, кто эти термины придумал и где можно почитать этого первоисточника?
Просьба считать вопрос о первоисточнике первостепенным, так как сторонние мнения о смысле этих терминов лично я готов воспринимать только после первоисточника. Без обид