Moustapha Bande and  Hakima Ould-Slimane and  Hanifa Boucheneb,  A Formal Property Verification for Aspect-Oriented Programs in Software Development.   journal   = {International Journal of Computer and Systems Engineering}, [online]. World Academy of Science, Engineering and Technology.
    August 2018, vol. 141(9). 769 - 776
    [viewed 15 October 2019]. Available from: https://publications.waset.org/pdf/10009551.