Jan Bredereke Hierarchische Familien formaler Anforderungen. 31-40 2000 conf/fbt/2000 FBT db/conf/fbt/fbt2000.html#Bredereke00