Mubina Nazmeen and  Iram Rubab,  Data and Control Flow Analysis of VDMµ Specifications.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    April 2010, vol. 40(4). 730 - 735
    [viewed 19 April 2024]. Available from: https://publications.waset.org/pdf/12593.