@misc{indiciae0b77e67ab2f4,
  title = {Rapid Prototyping Formal Systems in MMT: 5 Case Studies},
  author = {Dennis Müller and Florian Rabe},
  year = {2019},
  doi = {10.4204/eptcs.307.5},
  url = {https://arxiv.org/abs/1910.10850},
  note = {Source identifier: 1910.10850}
}