CSP and timewise refinement (Proceedings of the BCS−FACS Refinement Workshop, 1991)

(untitled) - Roscoe, A; Reed, G; Schneider, S