Formal Description of Services Interfaces of SMAL Services in Services Computing Environment . (2012). International Journal of Information and Electronics Engineering, 2(3), 379-382. https://ijiee.org/index.php/ijiee/article/view/131