techniques that readers can apply to their own systems. Agent Technology from a Formal