@ARTICLE {2628,
author={Gouveia, M.P.G. and Ramos, J. },
journal={Annals of Mathematics and Artificial Intelligence},
title={Multi-agent systems specification and certification: A situation and state calculus approach},
year={2004},
month={June},
volume={41},
number={2-4},
pages={301-338},
ISSN={1012-2443},
}