Formal Language for Objects' Transactions. - Adda, Mo (Standards (2305-6703), 2024)