https://eprints.soton.ac.uk/id/eprint/266851 (Publisher version)
Karunatillake, N. C., Jennings, N. R., Rahwan, I., & McBurney, P. (2008). Formal semantics of ABN framework. IAM-ECS Technical Report.