"Formal specification of autonomous commerce agents."

Ismael Rodríguez (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics