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