sur 18
Agent Technology from a Formal Perspective — Christopher Rouff