CADL - A formal description language for parallel computer architectures. - Ingo Eichenseher; Theo Ungerer; Eberhard Zehendner (Microprocess. Microprogramming, 1988)