@misc{indiciaeade9f912c4a4,
  title = {A Lightweight Combination of Semantics for Non-deterministic Functions},
  author = {Francisco Javier Lopez-Fraguas and Juan Rodriguez-Hortala and Jaime Sanchez-Hernandez},
  year = {2009},
  url = {https://arxiv.org/abs/0903.2205},
  note = {Source identifier: 0903.2205}
}