Stepwise refinement of parallel algorithms (1989)

by R J R Back, K Sere
Venue:Science of Computer Programming