@misc{indiciaee0f9cfdd196a,
  title = {Dimensions of Formality: A Case Study for MKM in Software Engineering},
  author = {Andrea Kohlhase and Michael Kohlhase and Christoph Lange},
  year = {2010},
  url = {https://arxiv.org/abs/1004.5071},
  note = {Source identifier: 1004.5071}
}