Najafi, M. , Haghighi, H. (2011). 'Refinement of Object-Z Specifications Using Morgan-s Refinement Calculus'. World Academy of Science, Engineering and Technology, Open Science Index 59, International Journal of Computer and Information Engineering, 5(11), 1347 - 1356.