Sai Manoj Jayakannan, “Coordination Without Contracts: Toward Formally Grounded Agentic AI Systems”, Int J Intell Syst Appl Eng, vol. 14, no. 1s, pp. 1712–1724, Jun. 2026.