@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", }