Formal description of parallel computer architectures as a basis of optimizing code generation. - Werner Heinrich (1993)