@misc{626,
  author = {Kai Chen and Janos Sztipanovits and Sandeep Neema},
  title = {Compositional Specification of Behavioral Semantics},
  year = {2006},
  month = {June},
  publisher = {Institute for Software Integrated Systems},
  language = {eng},
}