Challenger, M., Mernik, M., Kardas, G. & Kosar, T. (2016) Declarative specifications for the development of multi-agent systems. COMPUTER STANDARDS & INTERFACES , 43(None), 91-115.