Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract).