Ruqayya Abdulrahman D. R. W. Holton Daniel Neagu Mick J. Ridley Formal Specification of Multi Agent System for Historical Information Retrieval from Online Social Networks. 84-93 2011 KES-AMSTA http://dx.doi.org/10.1007/978-3-642-22000-5_10 conf/kesamsta/2011 db/conf/kesamsta/kesamsta2011.html#AbdulrahmanHNR11