An Autonomous Data Language. - Tom T. P. Franken; Thomas Neele; Jan Friso Groote (ICTAC, 2023)

Formalisation of a New Weak Semantics for AuDaLa. - Gijs P. Leemrijse; Tom T. P. Franken; Thomas Neele (ATVA (2), 2024)

AuDaLa is Turing Complete. - Tom T. P. Franken; Thomas Neele (FORTE, 2024)

Expressivity of AuDaLa: Turing Completeness and Possible Extensions. - Tom T. P. Franken; Thomas Neele (CoRR, 2024)

The Autonomous Data Language - Concepts, Design and Formal Verification. - Tom T. P. Franken; Thomas Neele; Jan Friso Groote (CoRR, 2025)