Algebraic Stuttering Simulations | Publicación