Agent Technology From A Formal Perspective door Diana Gordon-Spears