@misc{indiciae6858f1584040,
  title = {Event Handling in ET++ - A Case Study in the Algebraic Specification of Object-Oriented Application Frameworks},
  author = {Klaus Bergner and Bernhard Rumpe},
  year = {2014},
  url = {https://arxiv.org/abs/1409.7243},
  note = {Source identifier: 1409.7243}
}