Botta, N., Schupp, S., Mandel, A., Ionescu, C., & Hofmann, M. (2013). Mathematical Specification of an Agend-Based Model of Exchange. In Do-Form: Enabling Domain Experts to use Formalised Reasoning (pp. 38-48).