Musa, Z. , Rahman, N. , Jusoh, J. (2015), 'Formal Specification of Web Services Applications for Digital Reference Services of Library Information System', World Academy of Science, Engineering and Technology, Open Science Index 104, International Journal of Computer and Information Engineering, 9(8), 1969 - 1976.