Superposition refinement of parallel algorithms (1991)

by R-J Back, K Sere
Venue:In FORTE