Майкл Рабин, Феликс Слаткин