@techreport{RR-13-02,
  title = "An Algebraic Theory of Interface Automata",
  author = "Chris Chilton and Bengt Jonsson and Marta Kwiatkowska",
  year = "2013",
  institution = "DCS",
  number = "RR-13-02",
  pages = "60",
}