Michael Dertouzos A tribute to his contributions by Google Michael Dertouzos A tribute to his contributions by Google