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