Sara Sharifi Rad and  Hassan Haghighi,  A Comprehensive and Integrated Framework for Formal Specification of Concurrent Systems.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    November 2011, vol. 59(11). 1390 - 1398
    [viewed 25 October 2021]. Available from: https://publications.waset.org/pdf/5388.