Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering) | lit.salon