JSD expressed in CSP - Sridhar, K. T.; Hoare, Charles A. R. 1934- (Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG, 1985)