Constructive methods for parallel programming by Christian Lengauer | Menrva Books | MenrvaBooks