Rapid Application Prototyping for Functional Languages. - Martin Podloucký (FedCSIS, 2013)

The Prefix Machine - a Formal Foundation for the BORM OR Diagrams Validation and Simulation. - Martin Podloucký; Robert Pergl (EOMAS@CAiSE, 2014)

Towards Formal Foundations for BORM ORD Validation and Simulation. - Martin Podloucký; Robert Pergl (ICEIS (2), 2014)

Revisiting the BORM OR Diagram Composition Pattern. - Martin Podloucký; Robert Pergl; Petr Kroha (EOMAS@CAiSE, 2015)