4 ms·FWIW, Yuri Gurevich is famous for the Abstract State Machines formalism.by avodonosov 8y agoFWIW, Yuri Gurevich is famous for the Abstract State Machines formalism.