M. A. Laouadi, D. Nessah, and A. Lakhfif, “Towards a Rewriting Logic-Based Framework for Specifying FIPA Request Protocols”, IJCESEN, vol. 11, no. 4, Oct. 2025.