Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers - Meyer, John-Jules C.; Meyer, John-Jules C.; Schobbens, Pierre-Yves; Schobbens, Pierre-Yves (Springer Berlin Heidelberg : Imprint: Springer, 1999)