@article{franken_autonomous_2025,
    title = {{The Autonomous Data Language – Concepts, Design and Formal Verification}},
    author = {Franken, Tom T.P. and Neele, Thomas and Groote, Jan Friso},
    year = {2025},
    publisher = {Elsevier},
    journal = {Theoretical Computer Science},
    pages = {115560},
    volume = {1057},
    number = {},
    doi = {10.1016/j.tcs.2025.115560},
}