CSP and timewise refinement - Roscoe, A; Reed, G; Schneider, S (LNCS, 1991)