Raheel Ahmad Shahram Rahimi Bidyut Gupta A Formal Framework for Agent-Oriented Software Engineering. 541-546 2007 conf/icai/2007-2 IC-AI db/conf/icai/icai2007-2.html#AhmadRG07