@misc{indiciaec6ab402251d6,
  title = {Designing a Producer-driven Stream Protocol by Formal Refinement},
  author = {Erick Lavoie},
  year = {2026},
  url = {https://arxiv.org/abs/2609.33813},
  note = {Source identifier: 2609.33813}
}