Khan, S., & 		Jamshed, H.
2016 Jan  1.  Analysis of Formal Methods for Specification of E-Commerce Applications. Mehran University Research Journal of Engineering and Technology. [Online] 35:1