@inproceedings{mossakowski2017canonical,
  added-at = {2017-05-14T22:15:03.000+0200},
  author = {Mossakowski, Till and Rabe, Florian and Codescu, Mihai},
  biburl = {https://www.bibsonomy.org/bibtex/2c7d88381fc10afa0bf416fee9f0acadb/tillmo},
  booktitle = {WADT 2016},
  doi = {10.1007/978-3-319-72044-9_12},
  editor = {Roggenbach, Markus},
  interhash = {4e63eaacc507f4f7047ef6de4e86a63c},
  intrahash = {c7d88381fc10afa0bf416fee9f0acadb},
  keywords = {category colimit myown specification},
  pages = {170-188},
  publisher = {Springer},
  series = {LNCS},
  timestamp = {2018-01-11T11:08:41.000+0100},
  title = {Canonical Selection of Colimits},
  url = {https://doi.org/10.1007/978-3-319-72044-9_12},
  volume = 10644,
  year = 2017
}