Stepwise Derivation of a Parallel Matrix Multiplication AlgorithmJ