selected publications academic article CADL - A formal description language for parallel computer architectures. Microprocessing and Microprogramming. 24:363-370. 1988