Nazmeen, M. , Rubab, I.. "Data and Control Flow Analysis of VDMµ Specifications". World Academy of Science, Engineering and Technology, Open Science Index 40, International Journal of Computer and Information Engineering (2010), 4(4), 730 - 735.