ʝˈuɾi ɣˌuɾeβˈitʃ, sˌekentjˈal aβstɾˈakt stˈate matʃˈines kapːtˈuɾe sˌekentjˈal alɣˈoɾitms, ˌaθˌeˈɛme tɾansˈaktjons ˈon kˌomputˌatjonˈal loxˈik, bˈol ˈuno, nˈo ˈuno xˈuli ðˈos mˈil, pˌepˈe.
Yuri Gurevich, Sequential Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, Vol 1, no 1 (July 2000), pp.