A case study in parallel program derivation: the heat equation algorithm (1994)

by J O'Donnell, G
Venue:Proc. 1994 Glasgow Workshop on Functional Programming