A Monadic Calculus for Parallel Costing of a Functional Language of Arrays. - C. Barry Jay; Murray Cole; M. Sekanina; Paul Steckler (Euro-Par, 1997)