Formal models of agents : selected papers - Meyer, John-Jules Ch. (Herausgeber); Europäische Kommission. Programm für Informationstechnologien; ESPRIT Project ModelAge Final Workshop (1997) (Lecture notes in computer science, 1999)