Algebraic simulations | Publicación