Krzysztof Cetnarowicz Pablo Gruer Vincent Hilaire Abder Koukam A Formal Specification of M-Agent Architecture. 62-72 2001 conf/ceemas/2001 CEEMAS http://link.springer.de/link/service/series/0558/bibs/2296/22960062.htm db/conf/ceemas/ceemas2001.html#CetnarowiczGHK01