A. Agboizebeta Imianvan and C. Oluwole Akinyokun, “Mobile Agent Life Cycle Demystified using Formal Method”, TECS, vol. 3, no. 2, p. 46, May 2015.