@article{202405.0756,
	doi = {10.20944/preprints202405.0756.v1},
	url = {https://doi.org/10.20944/preprints202405.0756.v1},
	year = 2024,
	month = {May},
	publisher = {Preprints},
	author = {Mo Adda},
	title = {Formal Language for Objects’ Transactions (ObTFL)},
	journal = {Preprints}
}