Reflection and Preservation of Properties in Coalgebraic (bi)Simulations | Publicación