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.