Yoav Shoham Agent Oriented Programming. 123-129 1992 conf/law/1992 Logic at Work db/conf/law/law1992.html#Shoham92