The formal development of a parallel program performing LU-decomposition
scientific article; zbMATH DE number 4030804