Ни у Буча (по крайней мере в его "Объектно-ориентированном анализе и проектировании с примерами приложений на С++"), ни у Страуструпа Вы не найдете ничего про вывод типов ибо: никакого вывода типов в C++ нет и не предвидится (и это радует).
Про вывод типов (а это, к счастью, очень простой для перевода термин) можно прочитать в книжках про более экзотические языки, вроде Haskell, но таких книжек на английском-то языке штук пять всего, а на русский вообще ни одной не перевели - нет спроса.
Если у Вас есть термины позаковыристей, то с удовольствием буду держать удар :)