@misc{indiciaea2b4f670c449,
  title = {Formal Component-Based Semantics},
  author = {Ken Madlener and Sjaak Smetsers and Marko van Eekelen},
  year = {2011},
  doi = {10.4204/eptcs.62.2},
  url = {https://arxiv.org/abs/1108.3125},
  note = {Source identifier: 1108.3125}
}