@InCollection{BM96,
  author = 	 {C.~Baier and M.~Majster-Cederbaum},
  title = 	 {Denotational Linear Time Semantics and Sequential Composition},
  booktitle = 	 {Information Processing Letters},
  pages =	 {135-143},
  year =	 1996,
  volume =	 59
}