Matteo Pradella, Marco Colombetti. A Formal Description of a Practical Agent for E-Commerce. In Frank Dignum, Ulises Cortés, editors, Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop). Volume 2003 of Lecture Notes in Computer Science, pages 84-95, Springer, 2000. [doi]
Abstract is missing.