AGENT TECHNOLOGY FROM A FORMAL PERSPECTIVE (NASA MONOGRAPHS IN SYSTEMS AND SOFTWARE ENGINEERING)