Software Specification Using LASS. - Mihal Badjonski; Mirjana Ivanovic; Zoran Budimac (ASIAN, 1997)

Agent-Based Traveling. - Mihal Badjonski; Mirjana Ivanovic; Aleksandar Takaci (ADBIS-DASFAA Symposium, 2000)

Adaptable Java Agents (AJA): a tool for programming of multi-agent systems. - Mihal Badjonski; Mirjana Ivanovic; Zoran Budimac (ACM SIGPLAN Notices, 2005)

AJA - Tool for Programming Adaptable Agents. - Mihal Badjonski; Mirjana Ivanovic; Zoran Budimac (AIAI, 2006)