@Article{jlap04,
  author = 	 {Baeten, J.C.M. Vink, E.P. de},
  title = 	 {Axiomatizing GSOS with Termination},
  journal = 	 {Journal of Logic and Algebraic Programming},
  volume = 	 {60-61},
  year = 	 {2004},
  pages = 	 {323--351}
}