@misc{indiciaea523c3d7b363,
  title = {Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)},
  author = {Haim Kilov and Bernhard Rumpe},
  year = {2014},
  doi = {10.1007/3-540-49255-0\_39},
  url = {https://arxiv.org/abs/1409.6923},
  note = {Source identifier: 1409.6923}
}