Agboizebeta Imianvan, A., and C. Oluwole Akinyokun. “Mobile Agent Life Cycle Demystified Using Formal Method”. Transactions on Engineering and Computing Sciences, vol. 3, no. 2, May 2015, p. 46, doi:10.14738/tmlai.32.1025.