Yuri Gurevich, Sequential Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, Vol 1, no 1 (July 2000), pp.
ʝˈ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.