PubSub implementation in Haskell with formal verification in Coq. - Boro Sitnikovski; Biljana Stojcevska; Lidija Goracinova-Ilieva; Irena Stojmenovska (CoRR, 2020)