Hideya Iwasaki and Masato Takechi, Formal derivation of efficient parallel programs by construction of list homomorphisms (1997)

by Zhenjiang Hu
Venue:ACM Transactions on Programming Languages and Systems