David B. Skillicorn Deriving Parallel Programs from specification Susing Cost Information. 205-221 1993 20 Sci. Comput. Program. 3 db/journals/scp/scp20.html#Skillicorn93