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

Formalizing line editors in Coq. - Boro Sitnikovski (CoRR, 2020)

Tutorial on implementing Hoare logic for imperative programs in Haskell. - Boro Sitnikovski (CoRR, 2021)

The Budge programming language. - Boro Sitnikovski (CoRR, 2022)