Mullin L.M.R. & G.Hains, Formal Program Derivation for a Shared-Memory Architecture: Gauss Jordan Pivoting, McGill University, TR in progress, Feb. 1990.

Languages mentioned

• MOA {1988} parallel language