Formal models of agents ESPRIT project model age final workshop ; selected papers (Springer, 1999)