@misc{indiciae1925ce6e5f09,
  title = {A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification},
  author = {Assaf Marron and David Harel},
  year = {2025},
  url = {https://arxiv.org/abs/2510.19853},
  note = {Source identifier: 2510.19853}
}