Najafi, M. , Haghighi, H.. "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, (2011), 5(11), 1347 - 1356.