Khan, Sadik Ali, AND 		Jamshed, Huma.
" Analysis of Formal Methods for Specification of E-Commerce Applications" <em>Mehran University Research Journal of Engineering and Technology</em> [Online], Volume 35 Number 1 (1 January 2016)