A parallelization method for DO-loop based on equivalence classification
scientific article; zbMATH DE number 1252783