Arne Lindow Martin Gogolla Mark Richters Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen. 662-676 2001 GI Jahrestagung (1) db/conf/gi/gi2001-1.html#LindowGR01