State of the Art Report: Verified Computation. - Jim Woodcock 001; Mikkel Schmidt Andersen; Diego F. Aranha; Stefan Hallerstede; Simon Thrane Hansen; Nikolaj Kuhne Jakobsen; Tomas Kulik; Peter Gorm Larsen; Hugo Daniel Macedo; Carlos Ignacio Isasa Martin; Victor Alexander Mtsimbe Norrild (CoRR, 2023)

State-Based Modelling with a Concept DSL. - Nikolaj Kuhne Jakobsen (ABZ, 2025)

Establishing tool support for a concept DSL. - Nikolaj Kuhne Jakobsen (CoRR, 2025)