@misc{indiciaee2a3222c2701,
  title = {PubSub implementation in Haskell with formal verification in Coq},
  author = {Boro Sitnikovski and Biljana Stojcevska and Lidija Goracinova-Ilieva and Irena Stojmenovska},
  year = {2020},
  url = {https://arxiv.org/abs/2005.09452},
  note = {Source identifier: 2005.09452}
}