@inproceedings{conf/wadt/MossakowskiKM14,
  added-at = {2017-03-13T19:14:48.000+0100},
  author = {Mossakowski, Till and Krumnack, Ulf and Maibaum, Tom},
  biburl = {https://www.bibsonomy.org/bibtex/2de711b89d49a22803d3a0bb78a65334b/tillmo},
  booktitle = {WADT},
  editor = {Codescu, Mihai and Diaconescu, Razvan and Tutu, Ionut},
  ee = {http://dx.doi.org/10.1007/978-3-319-28114-8_6},
  interhash = {584dc3ecba5d19b8928f20ca49ba0224},
  intrahash = {de711b89d49a22803d3a0bb78a65334b},
  isbn = {978-3-319-28113-1},
  keywords = {colimit institution logic monad myown query},
  pages = {90-109},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2017-03-13T19:39:31.000+0100},
  title = {What Is a Derived Signature Morphism?},
  url = {http://dx.doi.org/10.1007/978-3-319-28114-8_6},
  volume = 9463,
  year = 2014
}