Johannes G. G. van de Vorst The Formal Development of a Parallel Program Performing LU-Decomposition. 1-17 1988 26 Acta Inf. 1/2 db/journals/acta/acta26.html#Vorst88