@techreport{CS-RR-12-01,
  title = "A Compositional Specification Theory for Component Behaviours",
  author = "Taolue Chen and Chris Chilton and Bengt Jonsson and Marta Kwiatkowska",
  year = "2012",
  institution = "DCS",
  number = "CS-RR-12-01",
  pages = "35",
}