WASET
    Meryem Lamrani and  Younès El Amrani and  Aziz Ettouhami,  On Formalizing Predefined OCL Properties.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    January 2013, vol. 73(1). 36 - 40
    [viewed 19 April 2024]. Available from: https://publications.waset.org/pdf/693.