Marjan Mernik Mitja Lenic Enis Avdicausevic Viljem Zumer Une approche orientée-objet pour la réutilisation de spécifications formelles de langages. 1998 4 L'OBJET 3 db/journals/Lobjet/Lobjet4.html#MernikLAZ98