JSD expressed in CSP - Sridhar, K. T.; Hoare, Charles A. R. 1934- (1985)
Keywords: Computer software; Mathematics; Mathematik; Jackson system development method