Agent Technology From A Formal Perspective by Diana Gordon-Spears