A monadic calculus for parallel costing of a functional language of arrays (1997)

by C Barry Jay, Murray Cole, M Sekanina, Paul Steckler
Venue:Pages 650–661 of: Proc. of the