Formal description of parallel computer architectures as a basis of optimizing code generation - Heinrich, Werner (München, Techn. Univ., Diss., 1993, 1993)