Recursive definition, based on a meta-model, for the type system of complex computing systems architectures. Mîndruţă, Cristina — 2004 Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică