@ARTICLE{dFGPR13,
  author =       {de Frutos-Escrig, David and Carlos Gregorio-Rodr{\'\i}guez
                  and Miguel Palomino and Romero Hern{\'a}ndez, David},
  title =        {Unifying the Linear Time-Branching Time Spectrum of 
                  Strong Process Semantics}, 
  journal =      {Logical Methods in Computer Science},
  year =         2013,
  volume =       9,
  number =       2,
  pages =        {1-74}
}