Parametrized invariance for infinite state processes | Publicación