CSP and timewise refinement
A. W. Roscoe‚ G. M. Reed and S. A. Schneider
Book Title
Proceedings of the BCS−FACS Refinement Workshop
Publisher
LNCS
Year
1991
A. W. Roscoe‚ G. M. Reed and S. A. Schneider