Mullin, LM.R. ; G. Gao, M. Santavy, & B. Tiffou, Formal Program Derivation for a Shared-Memory Architecture: LU-Decomposition, McCJill University, TR , May 1990.

Languages mentioned

• MOA {1988} parallel language