Springer-Verlag New York Multi-Agent Programming