Iterative and Parallel Algorithm Design from High Level Language Traces (2005)

by Daniel E Cooke, J Nelson Rushton
Venue:Lecture Notes in Computer Science