Merkliste 
 1 Ergebnisse 
 
1

Stepwise refinement of parallel algorithms:

Back, R.J.R. ; Sere, K.
Science of Computer Programming.  13 (1990)  2-3 - p. 133-180 , 1990