@PhdThesis{Bai94,
  author = 	 {C. Baier},
  title = 	 {Transitionssystem- und Baum-Semantiken f\"ur
	  $CCS$},
  school = 	 {Universit\"at
	Mannheim},
  year = 	 {1994}
}