Karunatillake, N. C., Jennings, N. R., Rahwan, I., & McBurney, P. (2008). Formal semantics of ABN framework. IAM-ECS Technical Report.