American Psychological Association 6th edition

Körner, P., Mager, F., & Roßbach, J. (2025). A case for data-oriented specifications: simpler implementation of B tools and DSLs. Innovations in Systems and Software Engineering: A NASA Journal, 1-21. https://doi.org/10.1007/s11334-025-00596-3

ISO-690 (author-date, English)

KÖRNER, Philipp, MAGER, Florian and ROSSBACH, Jan, 2025. A case for data-oriented specifications: simpler implementation of B tools and DSLs. Innovations in Systems and Software Engineering: A NASA Journal. 15 March 2025. P. 1-21. DOI 10.1007/s11334-025-00596-3.

Modern Language Association 9th edition

Körner, P., F. Mager, and J. Roßbach. “A Case for Data-Oriented Specifications: Simpler Implementation of B Tools and DSLs”. Innovations in Systems and Software Engineering: A NASA Journal, Mar. 2025, pp. 1-21, https://doi.org/10.1007/s11334-025-00596-3.

Mohr Siebeck - Recht (Deutsch - Österreich)

Körner, Philipp/Mager, Florian/Roßbach, Jan: A case for data-oriented specifications: simpler implementation of B tools and DSLs, Innovations in Systems and Software Engineering: A NASA Journal 2025, 1-21.

Emerald - Harvard

Körner, P., Mager, F. and Roßbach, J. (2025), “A case for data-oriented specifications: simpler implementation of B tools and DSLs”, Innovations in Systems and Software Engineering: A NASA Journal, pp. 1-21.

Warning: These citations may not always be 100% accurate.