Formal Models of Agents : ESPRIT Project ModelAge Final Report Selected Papers - John-Jules Ch. Meyer, Pierre-Yves Schobbens ((Lecture Notes in Computer Science))