@article{DBLP:journals/scp/NunezRR05,
author = {Manuel N{\'u}{\~n}ez and
Ismael Rodr\'{\i}guez and
Fernando Rubio},
title = {Formal specification of multi-agent e-barter systems},
journal = {Sci. Comput. Program.},
volume = {57},
number = {2},
year = {2005},
pages = {187-216},
ee = {http://dx.doi.org/10.1016/j.scico.2005.01.002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}