Deriving Parallel Programs from Specifications using Cost (1993)

by D B Skillicorn
Venue:Information”, Science of Computer Programming