WASET
Nazmeen, M. , Rubab, I. (2010), '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, 4(4), 730 - 735.