Towards an institution for Object-Z specifications. - Mohamed Bettaz; Mourad Maouche; M'hamed Mosteghanemi (Int. J. Comput. Appl. Technol., 2013)

An Institution for Object-Z with Inheritance and Polymorphism. - Hubert Baumeister; Mohamed Bettaz; Mourad Maouche; M'hamed Mosteghanemi (Software, Services, and Systems, 2015)

A Survey on Privacy Preserving Dynamic Data Publishing. - Salaheddine Kabou; Sidi Mohamed Benslimane; M'hamed Mosteghanemi (Int. J. Organ. Collect. Intell., 2018)