@misc{indiciaea23d5a3eccdf,
  title = {Towards Enabling Overture as a Platform for Formal Notation IDEs},
  author = {Luís Diogo Couto and Peter Gorm Larsen and Miran Hasanagić and Georgios Kanakis and Kenneth Lausdahl and Peter W. V. Tran-Jørgensen},
  year = {2015},
  doi = {10.4204/eptcs.187.2},
  url = {https://arxiv.org/abs/1508.03893},
  note = {Source identifier: 1508.03893}
}