@UNPUBLISHED{FabregasEtAl11-catlog,
  author =       {Ignacio F{\'a}bregas and Miguel Palomino and
                  de Frutos-Escrig, David},
  title =        {Categorical Logics for Contravariant Simulations, 
                  Partial Bisimulations, Modal Refinements and Mixed
                  Transition Systems},
  note =         {Submitted}
}