@misc{indiciaec4e9dc1ab3f8,
  title = {Information Systems with Witnesses: The Function Space Construction},
  author = {Dieter Spreen},
  year = {2021},
  url = {https://arxiv.org/abs/1702.05079},
  note = {Source identifier: 1702.05079}
}