David Kinny Michael P. Georgeff Modelling and Design of Multi-Agent Systems. 1-20 1997 conf/atal/1997 ATAL db/conf/atal/atal1996.html#KinnyG97