@article{type-reduction,
  title = "A type reduction theory for systems with replicated components",
  author = "Tomasz Mazur and Gavin Lowe",
  year = "2012",
  journal = "Logical Methods in Computer Science",
  url = "http://www.cs.ox.ac.uk/gavin.lowe/Papers/typereduction.pdf",
}